Theorem provers in circuit design : theory, practice and experience : second international conferenc - detaljert visning

Theorem provers in circuit design : theory, practice and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings

TPCD '94
Bok Engelsk 1995


Utgitt	Berlin : Springer , c1995
Omfang	VIII, 303 s. : ill.
Emner	Automatic theorem proving - Congresses Computer-aided design - Congresses Digital integrated circuits - Design and construction Data processing Congresses Elektriske kretser Vis mer... Hypotesetesting - Databehandling bevisteori teoribevis digitale kretser
ISBN	3540590471