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.

Bestandsnummer des Verk�ufers 34591

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Theorem Provers in Circuit Design: Theory, Practice and Experience
Verlag: Springer-Verlag
Erscheinungsjahr: 1995
Sprache: Englisch
ISBN-10: 3540590471
ISBN-13: 9783540590477
Einband: Paperback
Auflage: Reprint edition

�ber diesen Titel

Inhaltsangabe

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.

Rese�a del editor

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.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Specializing in monographs and texts in Mathematics, Computer Science, Science, Engineering, Social Sciences, Psychology. Photography and Science Fiction.

Zur Homepage des Verk�ufers

Verbandsmitglied

Verbandsmitglieder verpflichten sich, h�chste Standards einzuhalten. Sie garantieren die Echtheit aller zum Verkauf angebotenen Objekte. Ihre Objektbeschreibungen sind sachkundig und genau, etwaig vorhandene M�ngel oder Restaurationen werden offengelegt. Die Ansetzung der Verkaufspreise erfolgt nach akkurater Recherche. Alle Verk�ufe werden stets fair und redlich abgewickelt.

Unternehmensdaten des Verk�ufers

George Cross Books
MA, U.S.A.

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

George Cross Books guarantees the condition of every book as it is described. If
you are dissatisfied for any reason, return your purchase within 7 days of receipt
for a full refund of the purchase price. We'll also refund shipping costs if the
return was a result of our error. Please send us an email before making a return.
Contact details: George Cross, 6 3rd St, Lexington MA 02420, USA. Email:
georgecrossbooks@gmail.com. Phone number: 877-822-8763. Fax Number: 877-822-
8763.

Widerrufsbelehrung

Versandbedingungen

Orders usually ship within 2 business days. Free shipping applies to Media Mail in the United States and FPO/APO/AE/AP zip codes where Media Mail is permitted. Please note that Media Mail to Hawaii, Alaska, and Puerto Rico may take 3-5 weeks, and Priority mail is encouraged for these locales expecially for textbooks. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Versandkosten von USA nach Deutschland

Versandkosten von USA nach Deutschland
Bestellmenge	21 bis 36�Werktage	5 bis 8�Werktage
Erster Artikel	EUR 17.08	EUR 29.89

Die Versandzeiten werden von den Verk�uferinnen und Verk�ufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, k�nnen Verz�gerungen unterliegen. Eventuell anfallende Abgaben oder Geb�hren sind von der K�uferin bzw. dem K�ufer zu tragen. Die Verk�uferin bzw. der Verk�ufer kann Sie bez�glich zus�tzlicher Versandkosten kontaktieren, um einen m�glichen Anstieg der Versandkosten f�r Ihre Artikel auszugleichen.