Computer aided verification : 10th international conference, CAV'98 Vancouver, BC, Canada, June 28 - July 2, 1998 : proceedings / Alan J. Hu...[et al.] (eds.)

• Record Nr.: UNISA990000209600203316
• Autore: International conference CAV'98 : 10. : 1998
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag, copyr.1998
• ISBN: 3-540-64608-6
• Descrizione fisica: IX, 552 p. : ill ; 24 cm
• Collana: Lecture notes in computer science ; 1427
• Disciplina: 0051
• Collocazione: 001 LNCS (1427)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia