Your search returned 4 results.

Results
	1.	Formal Methods for Hardware Verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures / edited by Marco Bernardo, Alessandro Cimatti. by International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6th : 2006 : Bertinoro, Italy) Bernardo, Marco SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3965 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	2.	Formal methods for computational systems biology [electronic resource] : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2 - 7, 2008 : advanced lectures / Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (eds.). by International School on Formal Methods for the Design of Computer, Communication, and Software Systems (8th : 2008 : Bertinoro, Italy) Bernardo, Marco Degano, Pierpaolo, 1950- Zavattaro, Gianluigi SpringerLink (Online service) Series: Lecture notes in computer science ; 5016 \| LNCS sublibrary. SL 2, Programming and software engineering \| Lecture notes in computer science. Tutorial. Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 Other title: SFM 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	3.	A process algebraic approach to software architecture design [electronic resource] / by Alessandro Aldini, Marco Bernardo, Flavio Corradini. by Aldini, Alessandro Bernardo, Marco Corradini, Flavio SpringerLink (Online service) Publication details: London : Springer-Verlag London Limited, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	4.	Formal methods for web services [electronic resource] : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, advanced lectures / edited by Marco Bernardo, Luca Padovani, Gianluigi Zavattaro. by International School on Formal Methods for the Design of Computer, Communication, and Software Systems (9th : 2009 : Bertinoro, Italy) Bernardo, Marco Padovani, Luca Zavattaro, Gianluigi SpringerLink (Online service) Series: Lecture notes in computer science ; 5569 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 Other title: SFM 2009 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