Massinek, Mieke, Stefan Leue and Dennis Dams: Theoretical and Practical Aspects of SPIN Model Checking. 5th and 6th International SPIN Workshops, Trento, Italy, July 1999, Toulouse, France, September 1999. [Notes in Computer Science, Vol. 1680]. Springer,

Die Antiquariatsbuchplattform von

Sie haben keine Artikel im Warenkorb.

Artikelbeschreibung

Massinek, Mieke, Stefan Leue and Dennis Dams:
Theoretical and Practical Aspects of SPIN Model Checking. 5th and 6th International SPIN Workshops, Trento, Italy, July 1999, Toulouse, France, September 1999. [Notes in Computer Science, Vol. 1680].
Springer, 2008.
ISBN/EAN: 9783540664994

gefunden im Sachgebiet: Informatik, Hardware, Software

290 p. Softcover/Paperback

Like new. Shrink wrapped. / Neuwertiger Zustand. In Folie verschweißt.

EUR7,10
inkl. MwSt. zzgl. Versand: EUR 0,00
Lieferzeit: 1 - 7 Werktage

In den Warenkorb

Dieses Angebot wurde bereits 21 mal aufgerufen

Ihre zuletzt aufgerufenen Angebote

• Massinek, Mieke, Stefan Leue and Dennis Dams: Theoretical and Practical Aspects of SPIN Model Check ...

Sparen Sie Versandkosten beim Kauf ähnlicher Angebote dieses Anbieters

Göpfert, Wolfgang:
Raumbezogene Informationssysteme : Grundlagen der integrierten Verarbeitung von Punkt-, Vektor- und Rasterdaten ; Anwendungen in Kartographie, Fernerkundung und Umweltplanung.

EUR 5,40
Details zum Buch...

Lenski, Wolfgang (Ed.):
Logic versus approximation. Essays dedicated to Michael M. Richter on the occasion of his 65th birthday. (=Lecture notes in computer science ; 3075).

EUR 28,80
Details zum Buch...

Scherbaum, Andreas:
PostgreSQL: Datenbankpraxis für Anwender, Administratoren und Entwickler.

EUR 13,80
Details zum Buch...

Szepietowski, Andrzej:
Turing Machines with Sublogarithmic Space. Lecture Notes in Computer Sience ; Vol. 843.

EUR 36,10
Details zum Buch...

FF-Nutzer: Kostenloses Such-Plugin für Antikbuch24 installieren
IE-Nutzer: Kostenloses Such-Plugin für Antikbuch24 installieren