Verified Software: Theories, Tools, Experiments - Third International Conference, VSTTE 2010, Edin…
von Peter O`Hearn Gary T. Leavens Verlag: Springer Berlin,
2010 2010. Neubindung, Buchecken und -kanten leicht angestoßen 8636524/12
gebraucht, sehr gut
Anbieter: Buchpark GmbH, Trebbin, Deutschland
Nichts passendes gefunden?
- ISBN / EAN
- 9783642150562
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)!