Computer aided verification : 8th International conference, CAV '96 : New Brunswich, NJ, USA : July31 - August 3, 1996 : proceedings / Rajeev Alur ... [et al] (eds.)

• Record Nr.: UNISA990000207310203316
• Autore: International conference CAV'96 : 8. : 1996
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag copyr 1996
• ISBN: 3-540-61474-5
• Descrizione fisica: XII, 469 p : ill ; 23 cm
• Collana: Lecture notes in computer science ; 1102
• Disciplina: 003
• Collocazione: 001 LNCS (1102)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia