Theorem provers in circuit design: theory, practice and experience ; second international conference, TPCD '94, Bad Herrenalb, Germany, September 26 - 28, 1994 ; proceedings
Saved in:
Bibliographic Details
Format: Conference Proceeding Book
Language:English
Published: Berlin u.a. Springer 1995
Series:Lecture notes in computer science 901
Subjects:
Online Access:Inhaltsverzeichnis
Physical Description:VIII, 303 S. graph. Darst.
ISBN:3540590471
0387590471

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes