ISBN: 9780444896865 - Theorem Provers in Circuit Design: Proceedings of the Ifip Tc10/wg 10.2 International Conference on Theorem Provers in Circuit Design - Theory, ... A: Computer Science and Technology) (1 results)

ISBN: 
Refine with Advanced Search

Refine your search

  • Books (1)

Learn more

to

Custom price range (£)

to

  • Language: English

    Published by Amsterdam: North-Holland, 1992

    0444896864 / 9780444896865

    • Softcover

    Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.Zubal-Books, Since 1961

    5-star seller
    Contact seller

    Condition: Used - Good

    £ 87.74

    £ 3.36 shipping 
    Ships within U.S.A.

    Quantity: 1 available

    Condition: Good. *Price HAS BEEN REDUCED by 10% until Monday, Oct. 26 (weekend 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. Photos available upon request.…