Your search returned 3 results.

Results
	1.		Image from Amazon.com	Abstract State Machines, Alloy, B, VDM, and Z [electronic resource] : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / edited by John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene. by Derrick, John [editor.] Fitzgerald, John [editor.] Gnesi, Stefania [editor.] Khurshid, Sarfraz [editor.] Leuschel, Michael [editor.] Reeves, Steve [editor.] Riccobene, Elvinia [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7316Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	2.		Image from Amazon.com	Formal Methods for Components and Objects [electronic resource] : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers / edited by Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel. by Boer, Frank S. de [editor.] Bonsangue, Marcello M [editor.] Hallerstede, Stefan [editor.] Leuschel, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6286Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	3.		Image from Amazon.com	Integrated Formal Methods [electronic resource] : 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings / edited by Michael Leuschel, Heike Wehrheim. by Leuschel, Michael [editor.] Wehrheim, Heike [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5423Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)

Copyright © 2020 Alfaisal University Library. All Rights Reserved.
Tel: +966 11 2158948 Fax: +966 11 2157910 Email: librarian@alfaisal.edu