Your search returned 3 results.

Results
	1.	Formal methods for industrial critical systems [electronic resource] : 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 : proceedings / edited by Maria Alpuente, Byron Cook, Christophe Joubert. by International Workshop on Formal Methods for Industrial Critical Systems (14th : 2009 : Eindhoven, The Netherlands) Alpuente, Maria Cook, Byron Joubert, Christophe SpringerLink (Online service) Series: Lecture notes in computer science ; 5825 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	2.	Computer aided verification [electronic resource] : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings / edited by Tayssir Touili, Byron Cook, Paul Jackson. by CAV 2010 (2010 : Edinburgh, Scotland) Touili, Tayssir Cook, Byron Jackson, Paul SpringerLink (Online service) Series: Lecture notes in computer science ; 6174 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	3.	Verification, model checking, and abstract interpretation [electronic resource] : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings / Byron Cook, Andreas Podelski (eds.). by VMCAI 2007 (2007 : Nice, France) Cook, Byron Podelski, Andreas SpringerLink (Online service) Series: Lecture notes in computer science ; 4349 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: ebook. Place hold

Contact Us

Perpustakaan Tun Seri Lanang, Universiti Kebangsaan Malaysia
43600 Bangi, Selangor Darul Ehsan,Malaysia
+603-89213446 – Consultation Services
019-2045652 – Telegram/Whatsapp
Email: helpdeskptsl@ukm.edu.my

Copyright ©The National University of Malaysia Library