Formal Methods in Computer-Aided Design : Proceedings of the 4th International Conference, FMCAD 2002, Portland, OR, November 6-8, 2002 (Lecture Notes in Computer Science, Vol. 2517).

Sprache: Englisch

Verlag: New York, NY, U.S.A. Springer-Verlag New York, Incorporated, 2002

3540001166 / 9783540001164

  • Softcover
  • Gebraucht
Alle Details anzeigen

Anbieter: CSG Onlinebuch GMBH, Darmstadt, DeutschlandCSG Onlinebuch GMBH

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 6. September 2022

Softcover

Zustand: Gebraucht - Gut

EUR 16,92

EUR 95,00 Versand 
Versand von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

Gebraucht - Gut Zustand: Gut, Mängelexemplar, XI, 399 p. About this book: This book constitutes the refereed proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2002, held in Portland, OR, USA in November 2002. The 23 revised full papers presented were carefully reviewed and selected from 47 submissions. The book offers topial sections on abstraction, symbolic simulation, model checking, microprocessor specification and verification, decision procedures, verification techniques and methodology, hardware description languages, and prototyping and synthesis. Written for research and development professionals.

Bestandsnummer des Verkäufers 13391

Titel
Formal Methods in Computer-Aided Design : Proceedings of the 4th International Conference, FMCAD 2002, Portland, OR, November 6-8, 2002 (Lecture Notes in Computer Science, Vol. 2517).
Autor
Mark (editor) and John W. (editor) OLeary Aagaard
Verlag
New York, NY, U.S.A. Springer-Verlag New York, Incorporated
Erscheinungsjahr
2002
Zustand
Gut
Einband
Softcover
Sprache
Englisch
ISBN-10
3540001166
ISBN-13
9783540001164

CSG Onlinebuch GMBH

Darmstadt, Deutschland

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks 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

Shopbeschreibung

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