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.)
Bok Engelsk 1995 TPCD '94
| Utgitt | Berlin : Springer , c1995
|
|---|---|
| Omfang | VIII, 303 s. : ill.
|
| Emner | |
| ISBN | 3540590471
|
