BooksPrice.com

book price comparison

Stavridou, V. books & textbook

Theorem Provers in Circuit Design: Proceedings of the Ifip Tc10/Wg10.2 International Conference on Theorem Provers in Circuit Design : Theory, Pract ... A, Computer Science and Technology, A-10)

IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience (1992 : Nijmegen, Netherlands)  Melham, T. F.  Stavridou, V.  Boute, R. T.  

North-Holland /1992-01-01 Paperback / 360 Pages
isbn-10: 0444896864 / isbn-13: 9780444896865
   

compare price