Theorem provers in circuit design : theory, practice and experience : second International conference, TPCD '94 : Bad Herrenalb, Germany, September 26-28, 1994 : proceedings / Ramayya Kumar, Thomas Kropf (eds.)

• Record Nr.: UNISA990000210680203316
• Autore: International conference TPCD'94 : 2. : 1994
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag, copyr. 1995
• ISBN: 3-540-59047-1
• Descrizione fisica: VIII, 303 p. : ill. ; 25 cm
• Collana: Lecture notes in computer science ; 901
• Disciplina: 62139
• Collocazione: 001 LNCS (901)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia