The Leading eBooks Store Online 4,011,120 members ⚫ 1,318,789 ebooks

New to eBooks.com?

Learn more

Abstraction, Refinement and Proof for Probabilistic Systems

Abstraction, Refinement and Proof for Probabilistic Systems by Annabelle McIver
Buy this eBook
US$ 189.00
(If any tax is payable it will be calculated and shown at checkout.)

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.

Springer New York; March 2006
397 pages; ISBN 9780387270067
Read online, or download in secure PDF format
Title: Abstraction, Refinement and Proof for Probabilistic Systems
Author: Annabelle McIver; Charles Carroll Morgan
 
  • News
  • Contents
No entry found
ISBNs
038727006X
9780387270067
9780387401157