Your search returned 3 results.

Results
	1.	Foundations of security analysis and design V [electronic resource] : FOSAD 2007/2008/2009 tutorial lectures / edited by Alessandro Aldini, Gilles Barthe, Roberto Gorrieri. by Aldini, Alessandro Gorrieri, Roberto Barthe, Gilles SpringerLink (Online service) Series: Lecture notes in computer science ; 5705 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	2.	Formal methods for quantitative aspects of programming languages [electronic resource] : 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : advanced lectures / edited by Alessandro Aldini ... [et al.]. by International School on Formal Methods for the Design of Computer, Communication, and Software Systems (10th : 2010 : Bertinoro, Italy) Aldini, Alessandro SpringerLink (Online service) Series: Lecture notes in computer science ; 6154 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 Other title: SFM 2010 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.

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