Your search returned 3 results.

Results
	1.	Formal methods for industrial critical systems [electronic resource] : 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers / Stefan Leue, Pedro Merino (eds.). by International Workshop on Formal Methods for Industrial Critical Systems (12th : 2007 : Berlin, Germany) Leue, Stefan Merino, Pedro SpringerLink (Online service) Series: LNCS sublibrary. SL 2, Programming and software engineering \| Lecture notes in computer science ; 4916 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 Other title: International Workshop on Formal Methods for Industrial Critical Systems FMICS 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	2.	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.
	3.	Formal methods for industrial critical systems [electronic resource] : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers / edited by Darren Cofer, Alessandro Fantechi. by International Workshop on Formal Methods for Industrial Critical Systems (13th : 2008 : L'Aquila, Italy) Cofer, Darren Fantechi, Alessandro SpringerLink (Online service) Series: Lecture notes in computer science ; 5596 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 Other title: FMICS 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.

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