-
1. The Bounding Approach to Vlsi Circuit Simulation
Seller Description: New, Satisfaction guaranteed! ! See More Details
2013, Springer
ISBN-13: 9781468498936
Paperback, New
Irving, TX, USA
$138.46
-
2. The Bounding Approach to VLSI Circuit Simulation
by Zukowski, C a
Seller Description: New. Print on demand Trade paperback (US). Glued binding. 220 p. The Springer International Engineering and Computer Science, 17. See More Details
2013, Springer
ISBN-13: 9781468498936
Trade paperback, New
NV, USA
$168.69
-
3. Higher Order Logic and Hardware Verification
by Melham, T. F.
Seller Description: New. Print on demand Trade paperback (US). Contains: Unspecified. Cambridge Tracts in Theoretical Computer Science . Includes unspecified. Intended for professional and scholarly audience. See More Details
2009, Cambridge University Press
ISBN-13: 9780521115322
Trade paperback, New
NV, USA
$57.36
-
4. Higher Order Logic and Hardware Verification
by Melham, T. F.
Seller Description: New. Trade paperback (US). Contains: Unspecified. Cambridge Tracts in Theoretical Computer Science . Includes unspecified. Intended for professional and scholarly audience. See More Details
2009, Cambridge University Press
ISBN-13: 9780521115322
Trade paperback, New
Uxbridge, MIDDLESEX, UNITED KINGDOM
$59.91
-
5. Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science, Series Number 31)
by Melham, T. F.
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
2009, Cambridge University Press
ISBN-13: 9780521115322
paperback, Good
Santa Clarita, CA, USA
$87.34
-
6. Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science)
by T. F. Melham
Seller Description: Brand New. New. See More Details
1993, Cambridge University Press
ISBN-13: 9780521417181
New Delhi, DELHI, INDIA
$83.57
-
7. Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science)
Seller Description: New, US edition. Satisfaction guaranteed! ! See More Details
1993, Cambridge University Press
ISBN-13: 9780521417181
Irving, TX, USA
$94.07
-
8. Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science)
Seller Description: Brand New. New Book Original US edition, We Ship to PO BOX Address also. See More Details
1993, Cambridge University Press
ISBN-13: 9780521417181
Sterling Heights, MI, USA
$94.07
-
9. Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science)
Seller Description: New, Satisfaction guaranteed! ! See More Details
1993, Cambridge University Press
ISBN-13: 9780521417181
Irving, TX, USA
$95.07
-
10. Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science, Series Number 31)
by Melham, T. F.
Seller Description: New. Size: 10x7x0; New. In shrink wrap. Looks like an interesting title! See More Details
1993, Cambridge University Press
ISBN-13: 9780521417181
Hardcover, New
San Diego, CA, USA
$105.72
-
11. Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science, Series Number 31)
by Melham, T. F.
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
1993, Cambridge University Press
ISBN-13: 9780521417181
hardcover, Good
Santa Clarita, CA, USA
$122.35
-
12. Higher Order Logic and Hardware Verification
by Melham, T. F.
Seller Description: Fine. Cambridge Tracts in Theoretical Computer Science . Intended for professional and scholarly audience. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers. See More Details
1993, Cambridge University Press
ISBN-13: 9780521417181
Hardcover, Fine/Like New
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$142.10
-
13. Higher Order Logic and Hardware Verification
by Melham, T. F.
Seller Description: New. Cambridge Tracts in Theoretical Computer Science . Intended for professional and scholarly audience. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers. See More Details
1993, Cambridge University Press
ISBN-13: 9780521417181
Hardcover, New
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$142.42
-
14. Higher Order Logic and Hardware Verification
by Melham, T. F.
Seller Description: New. Print on demand Cambridge Tracts in Theoretical Computer Science . Intended for professional and scholarly audience. See More Details
1993, Cambridge University Press
ISBN-13: 9780521417181
Hardcover, New
NV, USA
$143.15
-
15. Higher Order Logic and Hardware Verification
by Melham, T. F.
Seller Description: New. Cambridge Tracts in Theoretical Computer Science . Intended for professional and scholarly audience. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers. See More Details
1993, Cambridge University Press
ISBN-13: 9780521417181
Hardcover, New
Columbia, MD, USA
$146.93
-
16. Higher Order Logic and Hardware Verification
by Melham, T. F.
Seller Description: Fine. Cambridge Tracts in Theoretical Computer Science . Intended for professional and scholarly audience. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers. See More Details
1993, Cambridge University Press
ISBN-13: 9780521417181
Hardcover, Fine/Like New
Columbia, MD, USA
$146.93
-
17. Higher Order Logic and Hardware Verification
by Melham, T. F.
Seller Description: New. Cambridge Tracts in Theoretical Computer Science . Intended for professional and scholarly audience. See More Details
1993, Cambridge University Press
ISBN-13: 9780521417181
Hardcover, New
Uxbridge, MIDDLESEX, UNITED KINGDOM
$162.94
