AnyBook4Less.com
Find the Best Price on the Web
Order from a Major Online Bookstore
Developed by Fintix
Home  |  Store List  |  FAQ  |  Contact Us  |  
 
Ultimate Book Price Comparison Engine
Save Your Time And Money


1.
Compare Prices
Cover ImageTitle: Theorem Provers in Circuit Design: Proceedings of the Ifip Tc10/Wg10.2 International Conference on Theorem Provers in Circuit Design: Theory, Pract (Ifip Transactions. A, Computer Science and Technology, A-10)
by Ifip Tc10, Wg10.2 International Conference on Theorem Provers in Circui, R.T. Boute, V. Stavridou, T. F. Melham
ISBN: 0444896864
Publisher: North-Holland
Pub. Date: June, 1992
List Price: $132.00
Amazon.com Price: $132.00
2.
Compare Prices
Cover ImageTitle: Higher Order Logic Theorem Proving and Its Applications: Proceedings of the Ifip Tc10/Wg10.2 International Workshiop on Higher Order Logic Theorem P (Ifip Transactions. A, Computer Science and Technology, A-20)
by Ifip Tc10, Wg10.2 International Workshop on Higher Order Logic Theorem, Michael J.C. Gordon, Interuniversity Micro-Electronics Center, Commission of the European Communities, Luc J. M. Claesen
ISBN: 0444898808
Publisher: North-Holland
Pub. Date: June, 1993
List Price: $173.00
Amazon.com Price: $173.00

Thank you for visiting www.AnyBook4Less.com and enjoy your savings!

Copyright� 2001-2021 Send your comments

Powered by Apache