The Calculus of Computation: Decision Procedures with Applications to Verification

Bradley, Aaron R.

15 Bewertungen von Goodreads

Sprache: Englisch

Verlag: Springer, 2007

3540741127 / 9783540741121

Anbieter: thebookforest.com, San Rafael, CA, USAthebookforest.com

Verkäufer/-in mit 4 Sternen

AbeBooks-Verkäufer/-in seit 3. Januar 2023

Artikel dieses Verkäufers ansehen
Hardcover

Zustand: Neu

EUR 54,50

EUR 4,29 Versand 
Versand innerhalb von USA

Anzahl: 1 verfügbar

In den Warenkorb
Kostenlose Rückgaben innerhalb von 30 Tagen

Artikelbeschreibung vom Verkäufer

Supporting Bay Area Friends of the Library since 2010. Well packaged and promptly shipped.

Bestandsnummer des Verkäufers BAY_05_SH_031420

Titel
The Calculus of Computation: Decision Procedures with Applications to Verification
Autor
Bradley, Aaron R.
Verlag
Springer
Veröffentlichungsjahr
2007
Zustand
New
Einband
Hardcover
Sprache
Englisch
ISBN-10
3540741127
ISBN-13
9783540741121

thebookforest.com

San Rafael, CA, USA

Verkäufer/-in mit 4 Sternen

AbeBooks-Verkäufer/-in seit 3. Januar 2023

Versandkosten innerhalb von USA

Artikel5 bis 14 Werktage3 bis 6 Werktage
Erster ArtikelEUR 4,29EUR 7,73
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

Shop-Beschreibung

Since 2010, the Book Forest has raised over 3 million dollars for participating public libraries.