Theorem provers in circuit design : theory, practice and experience : Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings
著者
書誌事項
Theorem provers in circuit design : theory, practice and experience : Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings
（Lecture notes in computer science, 901）
Springer, c1995
- タイトル別名
-
TPCD'94 : theorem provers in circuit design
大学図書館所蔵 全49件
注記
Final revised proceedings of the Second International Conference on Theorem Provers in Circuit Design
Includes bibliographical references