Theorem Provers in Circuit Design: Theory, Practice and Experience

Sprache: Englisch

Verlag: Springer-Verlag, 1995

3540590471 / 9783540590477

  • Softcover
  • Gebraucht
Alle Details anzeigen

Anbieter: George Cross Books, Lexington, MA, USAGeorge Cross Books

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 11. Juni 2003

Verbandsmitglied: IOBA

Softcover

Zustand: Gebraucht

EUR 21,15

EUR 3,57 Versand 
Versand innerhalb von USA

Anzahl: 1 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

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.

Bestandsnummer des Verkäufers 34590

Titel
Theorem Provers in Circuit Design: Theory, Practice and Experience
Autor
Kumar, Ramayya; Kropf, Thomas (Eds.)
Verlag
Springer-Verlag
Erscheinungsjahr
1995
Einband
Paperback
Sprache
Englisch
ISBN-10
3540590471
ISBN-13
9783540590477
Auflage
Reprint edition

George Cross Books

Lexington, MA, USA

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 11. Juni 2003

Verbandsmitglied:

Versandkosten innerhalb von USA

Artikel5 bis 14 Werktage3 bis 6 Werktage
Erster ArtikelEUR 3,57EUR 8,93
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.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Bar
  • PayPal
  • Rechnung
  • Vorauskasse
  • Zahlungsanweisung

Shopbeschreibung

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

Spezialisierung

Photography, Science Fiction, Social Sciences, Science, Computer Science, Mathematics

Verbandsmitglied

  • Independent Online Booksellers Association
Die Mitglieder dieser Verbände haben sich verpflichtet, die höchsten Standards einzuhalten. Sie verbürgen sich für die Echtheit aller zum Verkauf angebotenen Artikel. Sie liefern fachkundige und detaillierte Beschreibungen, legen alle wesentlichen Mängel und/oder Restaurierungen offen, bieten klare und genaue Preisangaben und arbeiten während des Kaufprozesses fair und ehrlich.

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

George Cross Books

MA, USA