Language: English
Published by Springer Berlin / Heidelberg, 1999
ISBN 10: 3540654453 ISBN 13: 9783540654452
Seller: Better World Books, Mishawaka, IN, U.S.A.
Condition: Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Condition: Good. . . All orders guaranteed and ship within 24 hours. Before placing your order for please contact us for confirmation on the book's binding. Check out our other listings to add to your order for discounted shipping.
Language: German
Published by International Thomson Publishing, 1995
ISBN 10: 3826601637 ISBN 13: 9783826601637
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
First Edition
Taschenbuch. Condition: Gut. 1. Aufl. 115 Seiten; Das Taschenbuch stammt aus einer Bibliotheksauflösung. Abgesehen von entsprechenden Kennzeichnungen befindet sich das Buch in einem altersgemäß ordentlichen Zustand. Die Einbandkanten sind etwas bestoßen. Sprache: Deutsch Gewicht in Gramm: 150.
Published by Studies in the Literary Imagination, 1972
Seller: James Cummings, Bookseller, Signal Mountain, TN, U.S.A.
First Edition
Soft cover. Condition: Very Good. First Edition.
Language: German
Published by Mildenberger Verlag GmbH, 2023
ISBN 10: 3619153310 ISBN 13: 9783619153312
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
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.
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.
Language: German
Published by Mildenberger Verlag GmbH, 2022
ISBN 10: 3619153248 ISBN 13: 9783619153244
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Language: German
Published by Mildenberger Verlag GmbH, 2022
ISBN 10: 3619153256 ISBN 13: 9783619153251
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Language: German
Published by Mildenberger Verlag GmbH, 2012
ISBN 10: 3619355665 ISBN 13: 9783619355662
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Condition: new.
Published by Selbstverlag : Thomas Kropf o. J.
Seller: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germany
Softcover. 304 S. Akzeptabler Zustand. Haufenweise Bleistift Eintragungen / Markierungen. Geringe Lager- und Gebrauchsspuren. Sprache: Deutsch Gewicht in Gramm: 1000.
Language: German
Published by Mildenberger Verlag GmbH, 2022
ISBN 10: 3619153248 ISBN 13: 9783619153244
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New.
Language: German
Published by Mildenberger Verlag GmbH; 1. Edition (29. November 2022), 2022
ISBN 10: 3619153248 ISBN 13: 9783619153244
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
First Edition
Paperback. Condition: New. 1.
Language: German
Published by Mildenberger Verlag GmbH, 2022
ISBN 10: 3619153248 ISBN 13: 9783619153244
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Language: German
Published by Mildenberger Verlag GmbH, 2022
ISBN 10: 3619153248 ISBN 13: 9783619153244
Seller: Revaluation Books, Exeter, United Kingdom
US$ 14.76
Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 80 pages. German language. 9.49x6.61x0.55 inches. In Stock.
Language: German
Published by Mildenberger Verlag GmbH, 2022
ISBN 10: 3619153256 ISBN 13: 9783619153251
Seller: Revaluation Books, Exeter, United Kingdom
US$ 15.18
Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 80 pages. German language. 10.04x6.81x0.63 inches. In Stock.
Language: German
Published by Mildenberger Verlag GmbH (26. April 2022), 2022
ISBN 10: 3619153256 ISBN 13: 9783619153251
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
US$ 28.62
Quantity: Over 20 available
Add to basketPaperback. Condition: New.
Language: German
Published by Mildenberger Verlag GmbH, 2022
ISBN 10: 3619153256 ISBN 13: 9783619153251
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Language: German
Published by Mildenberger Verlag GmbH; 11. Edition (4. Januar 2022), 2022
ISBN 10: 3619153280 ISBN 13: 9783619153282
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
US$ 29.03
Quantity: Over 20 available
Add to basketBroschüre. Condition: New. 11.
Language: German
Published by Mildenberger Verlag GmbH, 2012
ISBN 10: 361935569X ISBN 13: 9783619355693
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New.
Language: German
Published by Mildenberger Verlag GmbH; 5. Edition (19. Juni 2018), 2018
ISBN 10: 3619355665 ISBN 13: 9783619355662
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Paperback. Condition: New. 5.
Language: German
Published by Mildenberger Verlag GmbH, 2012
ISBN 10: 3619355665 ISBN 13: 9783619355662
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Language: German
Published by Mildenberger Verlag GmbH, 2012
ISBN 10: 3619355665 ISBN 13: 9783619355662
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New.
paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Language: German
Published by Mildenberger Verlag GmbH, 2012
ISBN 10: 3619355665 ISBN 13: 9783619355662
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New.
Condition: New. pp. 324.
Language: German
Published by Mildenberger Verlag GmbH, 2023
ISBN 10: 3619153310 ISBN 13: 9783619153312
Seller: Revaluation Books, Exeter, United Kingdom
US$ 14.73
Quantity: 2 available
Add to basketPaperback. Condition: Brand New. German language. 9.25x6.50x0.51 inches. In Stock.
Language: German
Published by Mildenberger Verlag GmbH; 1. Edition (15. September 2023), 2023
ISBN 10: 3619153310 ISBN 13: 9783619153312
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
First Edition
Paperback. Condition: New. 1.