Description:
Amsterdam: North-Holland, 1992. *Price HAS BEEN REDUCED BY 10% until Monday, June 24 (sale item)* 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.
No image available
Theorem Provers in Circuit Design: Proceedings of the Ifip Tc10/Wg10.2 International Conference on Theorem Provers in Circuit Design--Theory, Practice Paperback - 1992
by V. Stavridou (Other)
Details
- Title Theorem Provers in Circuit Design: Proceedings of the Ifip Tc10/Wg10.2 International Conference on Theorem Provers in Circuit Design--Theory, Practice
- Author V. Stavridou (Other)
- Binding Paperback
- Pages 372
- Volumes 1
- Language ENG
- Publisher North-Holland
- Date 1992-06
- ISBN 9780444896865 / 0444896864
- Library of Congress subjects Automatic theorem proving, Integrated circuits -
- Library of Congress Catalog Number 92017047
- Dewey Decimal Code 621.392
More Copies for Sale
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
-
Cleveland, Ohio, United States
- Item Price
-
SGD 5.84SGD 6.17 shipping to USA
Show Details
Item Price
SGD 5.84
SGD 6.17
shipping to USA
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
-
Newport Coast, California, United States
- Item Price
-
SGD 76.84FREE shipping to USA
Show Details
Description:
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Item Price
SGD 76.84
FREE shipping to USA