Principles of the Spin Model Checker

(Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 
'This is the first introductory textbook on Spin, the only requirement is a background in programming. Spin models are written in the Promela language which is easily learned by students and programmers. Spin is easy to install and use. The Spin model...
lieferbar
versandkostenfrei

Bestellnummer: 12295843

BuchFr. 73.00
In den Warenkorb
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
lieferbar
versandkostenfrei

Bestellnummer: 12295843

BuchFr. 73.00
In den Warenkorb
'This is the first introductory textbook on Spin, the only requirement is a background in programming. Spin models are written in the Promela language which is easily learned by students and programmers. Spin is easy to install and use. The Spin model...

Kommentar zu "Principles of the Spin Model Checker"

Andere Kunden kauften auch

Entwicklung verteilter Anwendungen

Wolfgang Golubski

0 Sterne
Buch

Fr. 39.00

In den Warenkorb
Erschienen am 19.02.2020
lieferbar

Das Praxisbuch zu QuarkXPress für Windows und Mac

Nikolaus Netzer, Detlev Hagemann

0 Sterne
Buch

Statt Fr. 69.95

Fr. 14.95

In den Warenkorb
Erschienen am 30.09.2017
lieferbar

Metasploit

David Kennedy, Jim O'Gorman, Devon Kearns, Mati Ahoroni

0 Sterne
Buch

Fr. 69.90

In den Warenkorb
lieferbar

Smart Contracts als Webservice

Florian Heder

0 Sterne
Buch

Fr. 42.00

In den Warenkorb
lieferbar
Buch

Fr. 59.00

In den Warenkorb
lieferbar

Deep Learning kompakt für Dummies

John Paul Mueller, Luca Massaron

0 Sterne
Buch

Fr. 36.90

In den Warenkorb
Erschienen am 08.04.2020
lieferbar

Flexibler Rahmen

Pinaki Mitra, Behrouz Zolfaghari

0 Sterne
Buch

Fr. 43.00

In den Warenkorb
lieferbar
Buch

Fr. 67.00

In den Warenkorb
lieferbar
Buch

Fr. 84.90

In den Warenkorb
Erschienen am 28.11.2019
lieferbar
Buch

Fr. 52.90

In den Warenkorb
Erscheint am 09.06.2020
lieferbar
Buch

Fr. 42.00

In den Warenkorb
Erscheint am 31.08.2020
lieferbar
Buch

Fr. 55.50

In den Warenkorb
Erschienen am 14.01.2020
lieferbar

Grundlagen der Technischen Informatik

Dirk W. Hoffmann

0 Sterne
Buch

Fr. 59.90

In den Warenkorb
Erschienen am 09.03.2020
lieferbar
Buch

Fr. 22.50

In den Warenkorb
Erschienen am 02.01.2020
lieferbar

Deep Learning für die Biowissenschaften

Bharath Ramsundar, Peter Eastman, Patrick Walters, Vijay Pande

0 Sterne
Buch

Fr. 52.90

In den Warenkorb
Erschienen am 29.02.2020
lieferbar
Buch

Fr. 36.90

In den Warenkorb
lieferbar

Langlebige Software-Architekturen

Carola Lilienthal

0 Sterne
Buch

Fr. 49.90

In den Warenkorb
lieferbar

React

Oliver Zeigermann, Nils Hartmann

0 Sterne
Buch

Fr. 49.90

In den Warenkorb
lieferbar
Mehr Bücher von Mordechai Ben-Ari
eBook

Statt Fr. 94.90 19

Fr. 68.90

Download bestellen
Erschienen am 09.11.2015
sofort als Download lieferbar

Elements of Robotics

Mordechai Ben-Ari, Francesco Mondada

0 Sterne
Buch

Fr. 74.90

In den Warenkorb
lieferbar
Buch

Fr. 89.90

In den Warenkorb
Erschienen am 17.06.2012
lieferbar

Ada for Software Engineers

Mordechai Ben-Ari

0 Sterne
Buch

Fr. 120.90

In den Warenkorb
lieferbar
Buch

Fr. 94.90

In den Warenkorb
Erschienen am 29.11.2005
lieferbar
0 Gebrauchte Artikel zu „Principles of the Spin Model Checker“
ZustandPreisPortoZahlungVerkäuferRating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung