Correct hardware design and verification methods : Advanced research working conference CHARME'95 : Frankfurt/Main, Germany, October 2-4, 1995 : proceedings / Paolo E. Camurati ... [etc.] (eds.)

• Record Nr.: UNISA990000210910203316
• Autore: Advanced research working conference CHARME'95 : 1995
• Pubbl/distr/stampa: Berlin [etc.] : Spriger-Verlag, copyr. 1995
• ISBN: 3-540-60385-9
• Descrizione fisica: VIII, 342 p. : ill. ; 24 cm.
• Collana: Lecture notes in computer science ; 987
• Disciplina: 62139
• Collocazione: 001 LNCS (987)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia