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.)

• Record Nr.: UNISA990001155450203316
• 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