Ihr Marktplatz für antiquarische und neue Bücher | Login | Neu registrieren Registrieren
Buchfreund als App
Model Checking Software  - 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings
Beispielbild für diese ISBN

Model Checking Software

19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings

2012 - Erschienen 2012.

Buchschnitt verkürzt - gepflegter, sauberer Zustand - Ausgabejahr 2012 22592329/12
Mehr anzeigen

formal testing, automated debugging, software verification, probabilistic model checking, model-driven engineering,

Produktart:
📚 Bücher
Autor(en):
Donaldson, Alastair und David Parker:
Anbieter:
Buchpark GmbH
Bestell-Nr.:
2259232912
Katalog:
Varia
ISBN | EAN:
3642317588 | 9783642317583
Stichworte:
formal, testing, automated, debugging, software, verification, probabilistic, model, checking, model-driven, engineering
Zahlungsarten:
Vorauskasse, PayPal
Gebraucht, sehr gut 41,32 EUR 37,19 EUR Kostenloser Versand
Sonderaktion: 10% Rabatt bis 05.11.2026
Model Checking Software  - 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings
Model Checking Software
Gebraucht, sehr gut
41,32 EUR 37,19 EUR
Kostenloser Versand
This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations.
Weitere/ähnliche Angebote für diesen Artikel Model Checking Software - 19th International SPIN Workshop, Oxford, UK, July 2…

Ähnliche Bücher, die interessant für Sie sein könnten Autor: Alastair Donaldson, David Parker Verlag: Springer Berlin,

Sparen Sie Versandkosten bei Buchpark GmbH durch den Kauf weiterer Artikel