Abstraction, Refinement and Proof for Probabilistic Systems Hardback
by Annabelle McIver, Charles Carroll Morgan
Part of the Monographs in Computer Science series
Hardback
Description
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.
Information
-
Item not Available
- Format:Hardback
- Pages:388 pages, 5 Tables, black and white; 63 Illustrations, black and white; XX, 388 p. 63 illus.
- Publisher:Springer-Verlag New York Inc.
- Publication Date:19/11/2004
- Category:
- ISBN:9780387401157
Other Formats
- PDF from £110.08
- Paperback / softback from £125.25
Information
-
Item not Available
- Format:Hardback
- Pages:388 pages, 5 Tables, black and white; 63 Illustrations, black and white; XX, 388 p. 63 illus.
- Publisher:Springer-Verlag New York Inc.
- Publication Date:19/11/2004
- Category:
- ISBN:9780387401157