Your search returned 4 results.

Results
	1.	Refinement Techniques in Software Engineering [electronic resource] : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures / edited by Ana Cavalcanti, Augusto Sampaio, Jim Woodcock. by Pernambuco Summer School on Software Engineering (1st : 2004 : Recife, Brazil) Cavalcanti, Ana Sampaio, Augusto Woodcock, Jim SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3167 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	2.	Theoretical Aspects of Computing - ICTAC 2006 [electronic resource] : Third International Colloquium, Tunis, Tunisia, November 20-24, 2006Proceedings / edited by Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone. by ICTAC 2006 (2006 : Tunis, Tunisia) Barkaoui, Kamel Cavalcanti, Ana Cerone, Antonio SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4281 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	3.	FM 2009 [electronic resource] : formal methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings / edited by Ana Cavalcanti, Dennis Dams. by International Symposium of Formal Methods Europe (16th : 2009 : Eindhove, The Netherlands) Cavalcanti, Ana Dams, Dennis SpringerLink (Online service) Series: Lecture notes in computer science ; 5850 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	4.	Formal methods and software engineering [electronic resource] : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings / edited by Karin Breitman, Ana Cavalcanti. by International Conference on Formal Engineering Methods (11th : 2009 : Rio de Janeiro, Brazil) Breitman, Karin Cavalcanti, Ana SpringerLink (Online service) Series: Lecture notes in computer science ; 5885 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009 Other title: ICFEM 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