Opis
Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm .
Presents results of a large and integrated body of research in the area of 'quantitative' program logics.
Presents results of a large and integrated body of research in the area of 'quantitative' program logics.
Szczegóły książki
Format
Miękka okładka
Strony
408 stron
Język
Angielski
Opublikowany
Nov 19, 2010
Wydawca
Springer
Wydania
Wydania: 2
ISBN-10
1441923128
ISBN-13
9781441923127