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
€53.49
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 06.03.1995
Umfang: viii, 312 S.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783540590477
Umbreit-Nr.: 1433618
