Interactive Theorem Proving - First International Conference, ITP 2010 Edinburgh, UK, July 11-14,…
von Matt Kaufmann Verlag: Springer Berlin,
2010 2010. Neubindung, Buchumschlag leicht geknickt, Auflage 2010 7910942/12
gebraucht, sehr gut
Anbieter: Buchpark GmbH, Trebbin, Deutschland
Nichts passendes gefunden?
- ISBN / EAN
- 9783642140518
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)!