Springer Nature Customer Service Center GmbH ProductSafety@springernature.com
Unsere Prinzipien
✔ kostenlose Lieferung innerhalb Österreichs ab € 35,–
✔ über 1,5 Mio. Bücher, DVDs & CDs im Angebot
✔ alle FALTER-Produkte und Abos, nur hier!
✔ hohe Sicherheit durch SSL-Verschlüsselung (RSA 4096 bit)
✔ keine Weitergabe personenbezogener Daten an Dritte
✔ als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post
Kurzbeschreibung des Verlags
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.