1.
Record Nr.
UNISA990001154810203316
Titolo
Verification, Model checking, and abstract interpretation : Third International Workshop,VMCAI 2002 : Venice,Italy,January 21-22 2002 : Revised papers / Agostino Cortesi(ed.)
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