Model Checking Software - 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, P…
von Alex Groce Verlag: Springer Berlin,
2011 2011. Neubindung, Buchrücken leicht angestoßen und eingerissen, Ausgabe 2011 10866254/13
gebraucht, gut
Anbieter: Buchpark GmbH, Trebbin, Deutschland
Neuware
Model Checking Software - 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, P…
2011 Kartoniert, 208 Seiten, 235mm x 155mm x 12mm, Sprache(n): eng Fast track proceedingsThis 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 tog…
Neuware
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland
Nichts passendes gefunden?
- ISBN / EAN
- 9783642223051
Link zur Suche kopieren
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!