Abstraction, Refinement and Proof for Probabilistic Systems [electronic resource] / by Annabelle McIver, Carroll Morgan.
By: McIver, Annabelle.
Contributor(s): Morgan, Carroll | SpringerLink (Online service).
Material type: BookSeries: Monographs in Computer Science.Publisher: New York, NY : Springer New York, 2005Description: digital.ISBN: 9780387270067.Subject(s): Computer science | Logic design | Computer Science | Programming Techniques | Logics and Meanings of Programs | Programming Languages, Compilers, Interpreters | Mathematical Logic and Formal LanguagesDDC classification: 005.11 Online resources: Click here to access online In: Springer eBooksNo physical items for this record
There are no comments for this item.