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)

Be the first towrite a review.
£22.45
Free 3 day postage
Estimated between Thu, 21 Mar and Fri, 22 Mar
Returns
Accepted within 30 days. Buyer pays return postage.
Condition:
New
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).