Verified software: theories, tools, experiments : Second international conference, VSTTE 2008 : Toronto, Canada, October 6-9, 2008 : Proceedings / Natarajan Shankar, Jim Woodcock (Eds.)

• Record Nr.: UNISA990003164200203316
• Autore: International conference, VSTTE 2008 <2.; : 2008
• Pubbl/distr/stampa: Berlin [etc.] : Springer, copyr. 2008
• ISBN: 978-3-540-69147-1
• Descrizione fisica: XII, 262 p. : ill. ; 24 cm
• Collana: Lecture notes in computer science ; 5295
• Disciplina: 001
• Soggetti: Informatica - Congressi - Toronto - 2008
• Collocazione: 001 LNCS 5295
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia