Verified software: theories, tools, experiments : First IFIP TC 2/WG 2.3 conference, VSTTE 2005 : Zurich, Switzerland, october 10-13, 2005 / Bertrand Meyer, Jim Woodcock (Eds.)

• Record Nr.: UNISA990003140640203316
• Autore: IFIP TC 2/WG 2.3 conference, VSTTE 2005 <1.; : 2005
• Pubbl/distr/stampa: Berlin [etc.] : Springer, copyr. 2008
• ISBN: 978-3-540-69147-1
• Descrizione fisica: XXIII, 546 p. : ill. ; 24 cm
• Collana: Lecture notes in computer science ; 4171
• Disciplina: 001
• Soggetti: Informatica - Congressi - Zurich - 2005
• Collocazione: 001 LNCS 4171
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia