Skip to content

Theorem Provers in Circuit Design: Proceedings of the Ifip Tc10/Wg10.2 International Conference on Theorem Provers in Circuit Design : Theory, Pract (Ifip ... a, Computer Science and Technology, a-10) by IFIP TC10; Practice, and Experience (1992 : Nijmegen, Netherlands) WG10.2 International Conference on Theorem Provers in Circuit Design: Theory; T. F. Melham; V. Stavridou; R. T. Boute - 1992-06

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

Similar copies are shown below.
Similar copies are shown to the right.
No image available

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

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

  • Used
  • Good
  • Paperback
North-Holland, 1992-06. Paperback. Good.
  • Bookseller Ergodebooks US (US)
  • Format/Binding Paperback
  • Book Condition Used - Good
  • Quantity Available 1
  • Binding Paperback
  • ISBN 10 0444896864
  • ISBN 13 9780444896865
  • Publisher North-Holland
  • Date Published 1992-06

We have 2 copies available starting at NZ$7.06.

No image available

Theorem Provers in Circuit Design. IFIP Transactions A: Computer Science and Technology A-10

by Stavridou, V., et al., eds

  • Used
  • Paperback
Condition
Used
Binding
Paperback
ISBN 10 / ISBN 13
9780444896865 / 0444896864
Quantity Available
1
Seller
Zubal Books
Cleveland, Ohio, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$7.06
NZ$4.50 shipping to

Show Details

Description:
Amsterdam: North-Holland, 1992. *Price HAS BEEN REDUCED by 10% until Tuesday, May 28 (holiday sale)* 360 pp., softcover, ex library, else textually clean & tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Item Price
NZ$7.06
NZ$4.50 shipping to
No image available

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)

by IFIP TC10/WG10.2 International Conference on Theor

  • Used
  • Good
  • Paperback
Condition
Used - Good
Binding
Paperback
ISBN 10 / ISBN 13
9780444896865 / 0444896864
Quantity Available
1
Seller
Bonita
Newport Coast, California, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$92.93
FREE shipping to

Show Details

Description:
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Item Price
NZ$92.93
FREE shipping to

Hang on… we’re fetching the requested page.