Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen.
Konto kostenlos anlegen
DPD-Kurier 4.49 €
Hermes Kurierdienst 4.99 €
DHL-Kurier 3.99 €
Hermes-Stelle 4.49 €
DPD-Stelle 2.99 €
GLS-Kurierdienst 4.49 €
Kontakt
Wie einkaufen
Hilfe
Versand
DPD-Kurier 4.49 €
Hermes Kurierdienst 4.99 €
DHL-Kurier 3.99 €
Hermes-Stelle 4.49 €
DPD-Stelle 2.99 €
GLS-Kurierdienst 4.49 €
Kaufberater
Mein Konto
▸
Leer :-(
0
Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.
Model Checking Software
12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings
Sprache
Englisch
Englisch
Buch
Broschur
This book constitutes the refereed proceedings of the 12th International SPIN workshop on Model Chec...
Vollständige Beschreibung
Libristo-Code: 01560970
?
132 b
132 b
53.79
€
inkl. MwSt.
Externes Lager
Wir versenden in 5-8 Tagen
30 Tage für die Rückgabe der Ware
Kunden kauften auch
This book constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held in San Francisco, USA in August 2005.§The 15 revised full papers presented were carefully reviewed and selected from 45 submissions; in addition there are 4 tool presentation papers selected from 6 submissions. The papers are organized in topical sections on state representation and abstraction, dealing with concurrency, dealing with complex data, checking temporal properties, and checking security and real-time properties.
Schauspielerin
&
Polyglotte
EWA KASP
für
Video abspielen
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.
Informationen zum Buch
Vollständiger Name
Model Checking Software
Autor
Patrick Godefroid
Sprache
Englisch
Englisch
Einband
Buch - Broschur
Datum der Veröffentlichung
2005
Anzahl der Seiten
292
EAN
9783540281955
ISBN
3540281959
Libristo-Code
01560970
Gewicht
960
Abmessungen
155 x 235 x 17
Kategorie
EDV und Informationstechnologie
>
Computerprogrammierung und Softwareentwicklung
>
Compiler und Übersetzer
EDV und Informationstechnologie
>
Computerprogrammierung und Softwareentwicklung
>
Programmier- und Skriptsprachen, allgemein
