The Spin Model Checker: Primer and Reference Manual

Holzmann, Gerard J.

12 Bewertungen von Goodreads

Sprache: Englisch

Verlag: Addison-Wesley Professional, 2003

0321228626 / 9780321228628

  • Hardcover
  • Gebraucht
Alle Details anzeigen

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: Gebraucht - Wie neu

EUR 30,99

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

Page block firm and clean, binding unblemished, boards straight, without markings of any kind. Fine, like new condition. Without any discs, access codes or extra items. Supporting Bay Area Friends of the Library since 2010. Well packaged and promptly shipped.

Bestandsnummer des Verkäufers BAY_18_SH_040605

Titel
The Spin Model Checker: Primer and Reference Manual
Autor
Holzmann, Gerard J.
Verlag
Addison-Wesley Professional
Veröffentlichungsjahr
2003
Zustand
Like New
Einband
Hardcover
Sprache
Englisch
ISBN-10
0321228626
ISBN-13
9780321228628

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.