Produkt
KlappentextIllustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm. This title presents results of a large and integrated body of research in the area of 'quantitative' program logics.
Zusammenfassung
This unique, example-driven monograph integrates coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a focused survey on probabilistic program semantics
Includes supplementary material: sn.pub/extras
This unique, example-driven monograph integrates coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a focused survey on probabilistic program semantics
Includes supplementary material: sn.pub/extras
Details
ISBN/GTIN978-0-387-40115-7
ProduktartBuch
EinbandartGebunden
Verlag
Erscheinungsjahr2004
Erscheinungsdatum19.11.2004
Seiten388 Seiten
SpracheEnglisch
Gewicht700 g
IllustrationenXX, 388 p. 63 illus.
Artikel-Nr.10597650
Rubriken