Theorem Provers in Circuit Design : Theory, Practice and Experience : Second International Conference, Tpcd '94 Bad Herrenalb, Germany, September 26-28, 1994 : Proceedings
Kumar, Ramayya (EDT); Kropf, Thomas (EDT)
ISBN 10: 3540590471 ISBN 13: 9783540590477
Published by Springer, 1995
New
Soft cover
From
GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since April 6, 2009
This specific item is no longer available.
About this Item
Description:
Seller Inventory # 5905738-n
Synopsis:
This volume presents the proceedings of the Second International Conference on Theorem Provers in Circuit Design (TPCD '94) jointly organized by the Forschungszentrum Informatik (University of Karlsruhe) and IFIP Working Group 10.2 in Bad Herrenalb, Germany in September 1994.
The 19 papers included are thoroughly revised versions of the submissions selected for presentation at the conference and address all current aspects of theorem provers in circuit design. Particular emphasis is given to benchmark-circuits for hardware verification; tutorials on two popular theorem provers are included.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Theorem Provers in Circuit Design : Theory, ...
Publisher: Springer
Publication Date: 1995
Binding: Soft cover
Condition: New
Top Search Results from the AbeBooks Marketplace
Stock Image
Theorem Provers in Circuit Design: Theory, Practice and Experience
Seller: George Cross Books, Lexington, MA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Reprint edition. Very Good/Wraps (34591) Paperback. Clean, tight, unmarked. This is *NOT* an old library book. Lecture Notes in Computer Science Volume 901 This volume presents the proceedings of the Second International Conference on Theorem Provers in Circuit Design (TPCD '94) jointly organized by the Forschungszentrum Informatik (University of Karlsruhe) and IFIP Working Group 10.2 in Bad Herrenalb, Germany in September 1994. The 19 papers included are thoroughly revised versions of the submissions selected for presentation at the conference and address all current aspects of theorem provers in circuit design. Particular emphasis is given to benchmark-circuits for hardware verification; tutorials on two popular theorem provers are included. 303. Seller Inventory # 34591
Stock Image
Theorem Provers in Circuit Design: Theory, Practice and Experience
Seller: George Cross Books, Lexington, MA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Reprint edition. Very Good/Wraps (34590) Paperback. Clean, tight, unmarked. This is *NOT* an old library book. Lecture Notes in Computer Science Volume 901 This volume presents the proceedings of the Second International Conference on Theorem Provers in Circuit Design (TPCD '94) jointly organized by the Forschungszentrum Informatik (University of Karlsruhe) and IFIP Working Group 10.2 in Bad Herrenalb, Germany in September 1994. The 19 papers included are thoroughly revised versions of the submissions selected for presentation at the conference and address all current aspects of theorem provers in circuit design. Particular emphasis is given to benchmark-circuits for hardware verification; tutorials on two popular theorem provers are included. 303. Seller Inventory # 34590
Stock Image
Theorem Provers in Circuit Design
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: Used. pp. 324 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 7400639
Buy Used
US$ 51.97
US$ 8.60 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Theorem Provers in Circuit Design
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: Used. pp. 324. Seller Inventory # 18480106
Buy Used
US$ 55.40
US$ 11.42 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Stock Image
Theorem Provers in Circuit Design
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: Used. pp. 324. Seller Inventory # 26480096
Stock Image
Theorem Provers Circuit Design
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT25-241597
Stock Image
Theorem Provers Circuit Design
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABBB-161914
Seller Image
Theorem Provers in Circuit Design
Published by
Springer Berlin Heidelberg, 1995
ISBN 10: 3540590471
ISBN 13: 9783540590477
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Second International Conference, TPCD 94, Bad Herrenalb, Germany, September 26 - 28, 1994. ProceedingsThis volume presents the proceedings of the Second International Conference on Theorem Provers in Circuit Design (TPCD 94) jointly organized by the F. Seller Inventory # 4894926
Buy New
US$ 57.17
US$ 56.22 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Theorem Provers in Circuit Design: Theory, Practice and Experience | Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Theorem Provers in Circuit Design: Theory, Practice and Experience | Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings | Ramayya Kumar (u. a.) | Taschenbuch | viii | Englisch | 1995 | Springer | EAN 9783540590477 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 101790722
Buy New
US$ 59.39
US$ 80.33 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 5 available
Seller Image
Theorem Provers in Circuit Design: Theory, Practice and Experience : Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume presents the proceedings of the Second International Conference on Theorem Provers in Circuit Design (TPCD '94) jointly organized by the Forschungszentrum Informatik (University of Karlsruhe) and IFIP Working Group 10.2 in Bad Herrenalb, Germany in September 1994.The 19 papers included are thoroughly revised versions of the submissions selected for presentation at the conference and address all current aspects of theorem provers in circuit design. Particular emphasis is given to benchmark-circuits for hardware verification; tutorials on two popular theorem provers are included. Seller Inventory # 9783540590477
Buy New
US$ 63.22
US$ 71.65 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available