Model Checking Software - 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedi…
von Alastair Donaldson Verlag: Springer Berlin,
2012 2012. Buchschnitt verkürzt - gepflegter, sauberer Zustand - Ausgabejahr 2012 22592329/12
gebraucht, sehr gut
Anbieter: Buchpark GmbH, Trebbin, Deutschland
Neuware
Model Checking Software - 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedi…
2012 Kartoniert, 272 Seiten, 235mm x 155mm x 15mm, Sprache(n): eng Up to date resultsFast track conference proceedingsState of the art researchThis book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford,…
Neuware
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland
Nichts passendes gefunden?
- ISBN / EAN
- 9783642317583
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)!