1.
Record Nr.
UNISA990001155450203316
Titolo
Verification, model checking, and abstract interpretation : 4th International conference,WMCAI 2003 : New York, NY, USA, January 9-11, 2003 : Proceedings / Lenore D. Zuck... <et al.> (Eds.)
Pubbl/distr/stampa
Berlin : Springer-Verlag, copyr.2003
ISBN
3-540-44121-2
Descrizione fisica
XI,323 p. : ill. ; 20 cm
Collana
Lecture notes in computer science ; 2575
Disciplina
005.1
Soggetti
Linguaggi di programmazione Congressi 2003
Collocazione
001 LNCS (2575)
Lingua di pubblicazione
Inglese
Formato
Materiale a stampa
Livello bibliografico
Monografia