Verification, Model checking, and abstract interpretation : Third International Workshop,VMCAI 2002 : Venice,Italy,January 21-22 2002 : Revised papers / Agostino Cortesi(ed.)

• Record Nr.: UNISA990001154810203316
• Pubbl/distr/stampa: Berlin : Springer-Verlag, copyr.2002
• ISBN: 3-540-44121-2
• Descrizione fisica: VIII,330 p. : ill. ; 20 cm
• Collana: Lecture notes in computer science ; 2294
• Disciplina: 005.1
• Soggetti: Programmazione Congressi 2002
• Collocazione: 001 LNCS (2294)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia