Computer aided verification : 12th international conference, CAV 2000 : Chicago, IL, USA, July 15-19, 200 : proceedings / E. Allen Emerson ...<et al.> (eds.)

• Record Nr.: UNISA990000319730203316
• Autore: International conference CAV <12.; 2000; Chicago>
• ISBN: 3-540-67770-4
• Edizione: [Berlino]
• Descrizione fisica: X, 580 p. : ill. ; 20 cm
• Collana: Lecture notes in computer science ; 1855
• Disciplina: 621.39
• Collocazione: 001 LNCS (1855)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia