Your search returned 211 results.

Results
	201.	Verification, model checking, and abstract interpretation [electronic resource] : 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings / edited by Gilles Barthe, Manuel Hermenegildo. by VMCAI 2010 (2010 : Madrid, Spain) Barthe, Gilles Hermenegildo, Manuel SpringerLink (Online service) Series: Lecture notes in computer science ; 5944 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 Other title: VMCAI 2010 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: ebook. Place hold
	202.	Verification, model checking, and abstract interpretation [electronic resource] : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings / Byron Cook, Andreas Podelski (eds.). by VMCAI 2007 (2007 : Nice, France) Cook, Byron Podelski, Andreas SpringerLink (Online service) Series: Lecture notes in computer science ; 4349 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: ebook. Place hold
	203.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings / edited by Radhia Cousot. by VMCAI 2005 (2005 : Paris, France) Cousot, Radhia SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3385 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005 In: Springer e-books Online resources: Click here to access online Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: ebook. Place hold
	204.	Verification, model checking, and abstract interpretation [electronic resource] : 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 : proceedings / edited by Neil D. Jones, Markus Muller-Olm. by VMCAI 2009 (2009 : Savannah, Georgia, USA) SpringerLink (Online service) Series: Lecture notes in computer science ; 5403 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.76.V47 V871 2009. Place hold
	205.	Verification of Object-Oriented Software. The KeY Approach [electronic resource] : Foreword by K. Rustan M. Leino / edited by Bernhard Beckert, Reiner Hahnle, Peter H. Schmitt. by Beckert, Bernhard Hahnle, Reiner Schmitt, Peter H SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4334 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	206.	Verification of sequential and concurrent programs [electronic resource] / by Krzysztof R. Apt, Frank S. Boer, Ernst-Rudiger Olderog. by Apt, Krzysztof R Boer, Frank S Olderog, Ernst-Rudiger SpringerLink (Online service) Series: Texts in computer science Edition: 3rd ed. Publication details: London : Springer-Verlag London, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	207.	Verified software: theories, tools, experiments [electronic resource] : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 ; proceedings / edited by Natarajan Shankar, Jim Woodcock. by VSTTE 2008 (2008 : Toronto, Ont.) Shankar, N Woodcock, Jim SpringerLink (Online service) Series: lecture notes in computer science ; 5295 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	208.	Verified Software: Theories, Tools, Experiments [electronic resource] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions / edited by Bertrand Meyer, Jim Woodcock. by IFIP TC 2/WG 2.3 Conference (1st : 2005 : Zurich, Switzerland) Meyer, Bertrand Woodcock, Jim SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4171 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	209.	Web Reasoning and Rule Systems [electronic resource] : First International Conference, RR 2007, Innsbruck, Austria, June 7-8, 2007: Proceedings / edited by Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie. by RR 2007 (2007 : Innsbruck, Austria) Marchiori, Massimo de Sainte Marie, Christian Pan, Jeff Z SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4524 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	210.	Web services and formal methods [electronic resource] : 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 ; proceedings / Marlon Dumas, Reiko Heckel (eds.). by WS-FM 2007 (2007 : Brisbane, Qld.) Dumas, Marlon Heckel, Reiko SpringerLink (Online service) Series: Lecture notes in computer science ; 4937 \| LNCS sublibrary. SL 2, Programming and software engineering Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 Other title: WS-FM 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	211.	Web services and formal methods [electronic resource] : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008 ; revised selected papers / edited by Roberto Bruni, Karsten Wolf. by WS-FM 2008 (2008 : Milan, Italy.) Bruni, Roberto Wolf, Karsten SpringerLink (Online service) Series: Lecture notes in computer science ; 5387 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 Other title: International Workshop, WS-FM 2008 WS-FM 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.

First
Previous
2
3
4
5
6
7
8
9
10
11

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