Computer Aided Verification - 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19,…
von Tayssir Touili Verlag: Springer Berlin,
2010 2010. 8142764/1
gebraucht, sehr gut
Anbieter: Buchpark GmbH, Trebbin, Deutschland
Computer Aided Verification - 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19,…
von Tayssir Touili Verlag: Springer Berlin,
2010 2010. Neubindung, Buchecken und -kanten leicht angestoßen 8142764/12
gebraucht, sehr gut
Anbieter: Buchpark GmbH, Trebbin, Deutschland
Nichts passendes gefunden?
- ISBN / EAN
- 9783642142949
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)!