Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singa…
von Ahmed Bouajjani Verlag: Springer Berlin,
2010 2010. Neubindung, Buchrücken leicht geknickt und eingerissen 8647974/12
gebraucht, sehr gut
Anbieter: Buchpark GmbH, Trebbin, Deutschland
Nichts passendes gefunden?
- ISBN / EAN
- 9783642156427
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)!