Certified Programs and Proofs
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Gesponsert Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings (Lecture Notes in Computer Science)
52.94 EUR
Preis aktualisiert am: 24-04-2026 05:26:04
52.94 EUR
Preis aktualisiert am: 24-04-2026 05:26:04
Gesponsert Certified Programs and Proofs
53.49 EUR
Preis aktualisiert am: 24-04-2026 08:25:10
53.49 EUR
Preis aktualisiert am: 24-04-2026 08:25:10
Gesponsert Certified Programs and Proofs, Fachbücher von Georges Gonthier, Michael Norrish
53.49 EUR
Preis aktualisiert am: 24-04-2026 03:42:15
53.49 EUR
Preis aktualisiert am: 24-04-2026 03:42:15 | Bezeichner | |
|---|---|
| ISBN | Springer International Publishing 3319035444 |
| MPN | Springer International Publishing 44 black & white illustrations, biograph |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
Springer International Publishing
Springer International Publishing ist ein Verlag, der sich auf wissenschaftliche Literatur spezialisiert hat. Er wurde 1946 gegründet und hat seinen Hauptsitz in Heidelberg.
Springer International Publishing ist ein Verlag, der sich auf wissenschaftliche Literatur spezialisiert hat. Er wurde 1946 gegründet und hat seinen Hauptsitz in Heidelberg.







