Abstraction, refinement, and proof for probabilistic systems / Annabelle McIver, Carroll Morgan.

Saved in:
Bibliographic Details
Main Author: McIver, Annabelle
Other Authors: Morgan, Carroll, 1952-
Format: Book
Published: New York : Springer, 2004.
Series:Monographs in computer science
Tags: Add Tag
No Tags, Be the first to tag this record!

Pilkington Library - Pilkington Main Collection

Call Number: 519.2/MAC
Copy [0402990277] Available