AnyBook4Less.com | Order from a Major Online Bookstore |
![]() |
Home |  Store List |  FAQ |  Contact Us |   | ||
Ultimate Book Price Comparison Engine Save Your Time And Money |
1.![]() | ![]() | Title: 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.![]() | ![]() | Title: 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