Theorem provers in circuit design
Subtitle: theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings
By: Ramayya Kumar, Thomas Kropf, eds.
Contributors: Kumar, Ramayya, 1957-; Kropf, Thomas, 1961-; International Conference on Theorem Provers in Circuit Design (2nd : 1994 : Bad Herrenalb, Germany)
Series: Lecture notes in computer science ;; 901
Publisher: Springer-Verlag
Published: 1995
Place of publication: Berlin; New York
Language: eng
Number of pages: 303
Subjects: Digital integrated circuits -- Computer-aided design -- Congresses; Automatic theorem proving -- Congresses
Genres: Congresses.