Correct Hardware Design and Verification Methods.

Sprache: Englisch

Verlag: Berlin Springer Verlag, 2003

354020363X / 9783540203636

  • Softcover
  • Gebraucht
Alle Details anzeigen

Anbieter: CSG Onlinebuch GMBH, Darmstadt, DeutschlandCSG Onlinebuch GMBH

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 6. September 2022

Artikel dieses Verkäufers ansehen
Softcover

Zustand: Gebraucht - Gut

EUR 21,16

EUR 95,00 Versand 
Versand von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb
Kostenlose Rückgaben innerhalb von 30 Tagen

Artikelbeschreibung vom Verkäufer

Gebraucht - Gut Zustand: Gut, Mängelexemplar, XII, 426 p. Also available online. About this book: his book constitutes the refereed proceedings of the 12th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2003, held in LAquila, Italy in October 2003. The 24 revised full papers and 8 short papers presented were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on software verification, automata based methods, processor verification, specification methods, theorem proving, bounded model checking, and model checking and applications. Written for researchers and professionals.

Bestandsnummer des Verkäufers 18898

Titel
Correct Hardware Design and Verification Methods.
Autor
Daniel and Enrico Tronci (Hrsg.) Geist
Verlag
Berlin Springer Verlag
Veröffentlichungsjahr
2003
Zustand
Gut
Einband
Softcover
Sprache
Englisch
ISBN-10
354020363X
ISBN-13
9783540203636

CSG Onlinebuch GMBH

Darmstadt, Deutschland

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 6. September 2022

Versandkosten von Deutschland nach USA

Artikel60 bis 60 Werktage60 bis 60 Werktage
Erster ArtikelEUR 95,00EUR 110,00
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
  • PayPal
  • Vorauskasse

Shop-Beschreibung

Online Handel mit gebrauchten und antiquarischen Büchern.

Spezialisierung

Gebrauchtbücher

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

CSG Onlinebuch GMBH

Bunsenstr. 6
Darmstadt, Deutschland 64293