Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)

by Charles Carroll Morgan (Author), Annabelle Mc Iver (Author)

New
Hardcover
2005
$173.77

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.

Synopsis

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.

$173.77

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 388
Publisher: Springer
Published: 05 Jan 2005
ISBN 10: 0387401156
ISBN 13: 9780387401157

Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)

New

$173.77

Synopsis

$173.77

More Information