Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs (BestMasters)

Sprache: Englisch

Verlag: Springer Vieweg 2016-03-29, 2016

3658126795 / 9783658126797

Serie: Buch 25 von 91 - BestMasters

Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 2. August 2010

Softcover

Zustand: Neu

EUR 57,75

EUR 18,27 Versand 
Versand von Vereinigtes Königreich nach USA

Anzahl: 10 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Bestandsnummer des Verkäufers 6666-IUK-9783658126797

Titel
Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs (BestMasters)
Autor
Vladimir Herdt
Verlag
Springer Vieweg 2016-03-29
Erscheinungsjahr
2016
Zustand
New
Einband
Paperback
Sprache
Englisch
ISBN-10
3658126795
ISBN-13
9783658126797
Serie
Buch 25 von 91: BestMasters

Chiron Media

Wallingford, Vereinigtes Königreich

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 2. August 2010

Versandkosten von Vereinigtes Königreich nach USA

Artikel14 bis 21 Werktage14 bis 21 Werktage
Erster ArtikelEUR 18,27EUR 18,27
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

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

WRAP Ltd

Unit 4, 119 Loverock Rd
Reading, Vereinigtes Königreich RG30 1DZ