.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Abstraction, Refinement and Proof for Probabilistic Systems
McIver, Annabelle; Morgan, Charles Carroll
€ 201.97
FREE Delivery in Ireland
Description for Abstraction, Refinement and Proof for Probabilistic Systems
Hardback. Illustrates 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. Series: Monographs in Computer Science. Num Pages: 408 pages, 63 black & white illustrations, 5 black & white tables, biography. BIC Classification: PBT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 23. Weight in Grams: 1650.
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.
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.
Product Details
Format
Hardback
Publication date
2004
Publisher
Springer-Verlag New York Inc. United States
Number of pages
408
Condition
New
Series
Monographs in Computer Science
Number of Pages
388
Place of Publication
New York, NY, United States
ISBN
9780387401157
SKU
V9780387401157
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Abstraction, Refinement and Proof for Probabilistic Systems