Computer aided verification : 5th International conference, CAV'93 : Elounda, Greece, June 28-July 1, 1993 : proceedings / Costas Courcoubetis (ed.)

• Record Nr.: UNISA990000203650203316
• Autore: International conference CAV'93 : 5. : 1993
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag, copyr. 1993
• ISBN: 3-540-56922-7
• Descrizione fisica: IX, 504 p. : ill. ; 24 cm
• Collana: Lecture notes in computer science ; 697
• Disciplina: 003
• Collocazione: 001 LNCS (697)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia