Computer aided verification : 11th International conference, CAV' 99 : Trento, Italy, July 6-10, 1999 : proceedings / Nicolas Halbwachs ...[et al.] (eds.)

• Record Nr.: UNISA990000208320203316
• Autore: International conference CAV' 99 : 11. : 1999
• Pubbl/distr/stampa: Berlin : Springer-Verlag, 1999
• ISBN: 3-540-66202-2
• Descrizione fisica: XII, 503 p. : ill. ; 23 cm
• Collana: Lecture notes in computer science ; 1633
• Disciplina: 0051
• Collocazione: 001 LNCS(1633)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia