Computer Aided Verification - 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-1…
von Aarti Gupta Verlag: Springer Berlin,
2008 2008. Neubindung, Buchecken leicht angestossen, Buchumschlag leicht geknickt, Auflage 2008 4485535/12
gebraucht, sehr gut
Anbieter: Buchpark GmbH, Trebbin, Deutschland
Nichts passendes gefunden?
- ISBN / EAN
- 9783540705437
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)!