Model Checking Software - 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Pr…
von Corina S Pasareanu Verlag: Springer Berlin,
2009 2009. Neubindung, Buchkanten leicht angestossen 5497062/12
gebraucht, sehr gut
Anbieter: Buchpark GmbH, Trebbin, Deutschland
Neuware
Model Checking Software - 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Pr…
2009 Kartoniert, 308 Seiten, 235mm x 155mm x 17mm, Sprache(n): eng This volume contains the proceedings of the 16th International SPIN Workshop on Model Checking of Software (SPIN 2009), that was held at the Grenoble World Trade Center, in Grenoble, France, June 26¿28, 2009. The workshop was co-…
Neuware
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland
Nichts passendes gefunden?
- ISBN / EAN
- 9783642026515
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)!