Efficient Solving Of Large Arithmetic Constraint Systems With Complex Boolean Structure: Proof Engines For The Analysis Of Hybrid Discrete-Continuous Systems

Sprache: Englisch

Verlag: Vieweg+Teubner, 2011

3834814946 / 9783834814944

Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 6. Januar 2003

Softcover

Zustand: Neu

EUR 78,94

EUR 11,91 Versand 
Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

2011 edition. 180 pages. 8.20x5.70x0.50 inches. In Stock.

Bestandsnummer des Verkäufers x-3834814946

Titel
Efficient Solving Of Large Arithmetic Constraint Systems With Complex Boolean Structure: Proof Engines For The Analysis Of Hybrid Discrete-Continuous Systems
Autor
Herde, Christian; Herde, Christian
Verlag
Vieweg+Teubner
Erscheinungsjahr
2011
Zustand
Brand New
Einband
Paperback
Sprache
Englisch
ISBN-10
3834814946
ISBN-13
9783834814944
Artikelgewicht
0,3 Kilogramm

Revaluation Books

Exeter, Vereinigtes Königreich

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 6. Januar 2003

Versandkosten von Vereinigtes Königreich nach USA

Artikel7 bis 14 Werktage2 bis 3 Werktage
Erster ArtikelEUR 11,91EUR 35,74
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

Edward Bowditch Ltd

Exstowe, Exton
Exeter, Vereinigtes Königreich EX3 0PP