Neuware
Certified Programs and Proofs - Third International Conference, CPP 2013, Melbourne, VIC, Australi…
2013 Kartoniert, 324 Seiten, 235mm x 155mm x 18mm, Sprache(n): eng Up-to-date results Proceedings of the Third International Conference on Certified Programs and Proofs, CPP 2013This book constitutes the refereed proceedings of the Third International Conference on Certified Programs and Proofs,…
Neuware
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland
Nichts passendes gefunden?
- ISBN / EAN
- 9783319035444
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)!