Search

You searched for: Auteur Morgan, Charles C. Remove constraint Auteur: Morgan, Charles C.
1 entry found
Number of results to display per page

Search Results

1. Abstraction, Refinement and Proof for Probabilistic Systems
thumbnail
Full text!
Author:
McIver, Annabelle; Morgan, Caroll; Morgan, Carroll; Morgan, Charles C.; Morgan, Charles Carroll
Publisher:
Springer New York 2005
Format:
e-book