Abstraction, Refinement and Proof for Probabilistic Systems (Lecture Notes in Control and Information Sciences) (Monographs in Computer Science)

by Annabelle McIver and Charles Carroll Morgan

0 ratings • 0 reviews • 0 shelved
Book cover for Abstraction, Refinement and Proof for Probabilistic Systems
Shelve It

Bookhype may earn a small commission from qualifying purchases. Full disclosure.

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.

  • ISBN10 038727006X
  • ISBN13 9780387270067
  • Publish Date 1 January 2005 (first published 19 November 2004)
  • Publish Status Active
  • Publish Country US
  • Imprint Springer-Verlag New York Inc.
  • Format eBook
  • Pages 393
  • Language English