Results
241.
Types for proofs and programs [electronic resource] : international conference, types 2007, Cividale des Friuli, Italy, May 2-5, 2007 revised selected papers / Marino Miculan, Ivan Scagnetto, Furio Honsell ; [edited by] Marino Miculan, Ivan Scagnetto, Furio Honsell. by Series: Lecture Notes in Computer Science ; 4941
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: No items available.
242.
243.
244.
245.
246.
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings / edited by Francesco Logozzo, Doron A. Peled, Lenore D. Zuck. by Series: Lecture Notes in Computer Science ; 4905
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: ebook
247.
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 Series: Lecture notes in computer science ; 5944
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
In:
Springer eBooks
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: ebook
248.
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 Series: Lecture notes in computer science ; 4349
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer e-books
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: ebook
249.
250.
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 Series: Lecture notes in computer science ; 5403
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
In:
Springer eBooks
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.76.V47 V871 2009
251.
252.
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 Series: lecture notes in computer science ; 5295
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: No items available.
253.
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 Series: Lecture Notes in Computer Science ; 4171
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: No items available.
254.
255.
256.
