Your search returned 3 results.

Results
	1.	Abstraction, Refinement and Proof for Probabilistic Systems [electronic resource] / by Annabelle McIver, Carroll Morgan. by McIver, Annabelle Morgan, Carroll SpringerLink (Online service) Series: Monographs in Computer Science Publication details: New York, NY : Springer Science+Business Media, Inc., 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	2.	Programming from specifications / Carroll Morgan. by Morgan, Carroll, 1952- Series: Prentice-Hall international series in computer science Edition: 2nd ed. Publication details: New York : Prentice-Hall, 1994 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.6 .M668 1994. Place hold
	3.	Theoretical aspects of computing - ICTAC 2009 [electronic resource] : 6th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings / edited by Martin Leucker, Carroll Morgan. by ICTAC 2009 (2009 : Kuala Lumpur, Malaysia) Leucker, Martin Morgan, Carroll SpringerLink (Online service) Series: Lecture notes in computer science ; 5684 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.

Refine your search