Abstraction, refinement and proof for probabilistic systems

Select an Action

Title:

Personal Author:

Series:

Monographs in computer science

Publication Information:

New York, NY : Springer, 2005

ISBN:

9780387401157

Subject Term:

Added Author:

Library	Item Barcode	Call Number	Material Type	Item Category 1	Status
Searching... PSZ JB	30000010105709	TA340 M34 2005	Open Access Book	Book	Searching... Unknown