Picture 1 of 2
Picture 1 of 2
Theorem Provers in Circuit Design: Theory, Practice and Experience: Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings by Thomas Kropf, Ramayya Kumar (Paperback, 1995)
£22.45
Returns
Accepted within 30 days. Buyer pays return postage.
Condition:
Theorem Provers in Circuit Design: Theory, Practice and Experience (Lecture Notes in Computer Science), New. Theorem Provers in Circuit Design: Theory, Practice and Experience (Lecture Notes in Computer Science).