Your search returned 2 results.

Results
	1.	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 Meyer, Bertrand Woodcock, Jim SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4171 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Dependable Systems: Software, Computing, Networks [electronic resource] : Research Results of the DICS Program / edited by Jürg Kohlas, Bertrand Meyer, André Schiper. by Kohlas, Jürg Meyer, Bertrand Schiper, André SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4028 Edition: 1a ed. Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.R44 K64 2006. Place hold Add to cart (remove)

Refine your search