Produkt
KlappentextIllustrates 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.
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-1-4419-2312-7
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2010
Erscheinungsdatum19.11.2010
AuflageSoftcover reprint of hardcover 1st ed. 2005
Seiten388 Seiten
SpracheEnglisch
Gewicht615 g
IllustrationenXX, 388 p. 63 illus.
Artikel-Nr.10174232
Rubriken