Computer aided verification : 7th International conference, CAV '95 : Liège, Belgium, July 3-5, 1995 : proceedings / Pierre Wolper (ed.)

• Record Nr.: UNISA990000210440203316
• Autore: International conference CAV'95 : 7. : 1995
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag, copyr. 1995
• ISBN: 3-540-60045-0
• Descrizione fisica: X, 450 p. : ill. ; 25 cm
• Collana: Lecture notes in computer science ; 939
• Disciplina: 003
• Collocazione: 001 LNCS (939)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia