Your search returned 5 results.

Results
	1.	Concurrency, Graphs and Models [electronic resource] : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / edited by Pierpaolo Degano, Rocco Nicola, Jose Meseguer. by Degano, Pierpaolo Meseguer, Jose Nicola, Rocco SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5065 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks 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.	Foundations and applications of security analysis [electronic resource] : Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009 : revised selected papers / edited by Pierpaolo Degano, Luca Vigano. by Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2009 : York, England) Degano, Pierpaolo Vigano, Luca SpringerLink (Online service) Series: Lecture notes in computer science ; 5511 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	4.	Formal aspects in security and trust [electronic resource] : 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009 revised selected papers / edited by Pierpaolo Degano, Joshua D. Guttman. by FAST 2009 (2009 : Eindhoven, Netherlands) Degano, Pierpaolo Guttman, Joshua D SpringerLink (Online service) Series: Lecture notes in computer science ; 5983 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	5.	Formal aspects in security and trust [electronic resource] : 5th international workshop, FAST 2008, Malaga, Spain, October 9-10, 2008 ; revised selected papers / edited by Pierpaolo Degano, Joshua Guttman, Fabio Martinelli. by FAST 2008 (2008 : Malaga, Spain) Degano, Pierpaolo Guttman, Joshua Martinelli, Fabio SpringerLink (Online service) Series: Lecture notes in computer science ; 5491 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 Other title: FAST 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