Produktnummer:
188163508f8bd24fa58e1f7f89bd3113fc
| Themengebiete: | distributed systems formal verification multi-threading probabilistic models software verification |
|---|---|
| Veröffentlichungsdatum: | 05.07.2011 |
| EAN: | 9783642223051 |
| Sprache: | Englisch |
| Seitenzahl: | 195 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Groce, Alex Musuvathi, Madanlal |
| Verlag: | Springer Berlin |
| Untertitel: | 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings |
Produktinformationen "Model Checking Software"
This book constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011.The 10 revised full papers presented together with 2 tool demonstration papers and 1 invited contribution were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on abstractions and state-space reductions; search strategies; PROMELA encodings and extensions; and applications of model checking.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen