1.
Record Nr.
UNISA990003140640203316
Autore
IFIP TC 2/WG 2.3 conference, VSTTE 2005 <1.; : 2005
Titolo
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.)
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