Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings (Lecture Notes in Computer Science, Band 7679)
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Gesponsert Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings (Lecture Notes in Computer Science, Band 7679)
52.54 EUR
Preis aktualisiert am: 22-04-2026 18:03:56
52.54 EUR
Preis aktualisiert am: 22-04-2026 18:03:56 
SpringerLink DE
Gesponsert Certified Programs and Proofs
53.49 EUR
Preis aktualisiert am: 22-04-2026 22:06:47
53.49 EUR
Preis aktualisiert am: 22-04-2026 22:06:47 
Galaxus.de
Gesponsert Certified Programs and Proofs, Fachbücher von Dale Miller, Chris Hawblitzel
53.49 EUR
Preis aktualisiert am: 22-04-2026 21:17:05
53.49 EUR
Preis aktualisiert am: 22-04-2026 21:17:05 | Bezeichner | |
|---|---|
| ISBN | Springer Berlin Heidelberg 364235307X |
| MPN | Springer Berlin Heidelberg 64 black & white illustrations |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
Springer Berlin Heidelberg ist eine Marke von Springer Science+Business Media, einem weltweit führenden Verlag für Wissenschaft und Medien. Das Unternehmen hat seinen Hauptsitz in Berlin und betreibt Niederlassungen in Heidelberg, London, Madrid, New York, Paris und Wien. Springer Berlin Heidelberg publiziert mehr als 2.000 Zeitschriften und über 10.000 neue Bücher pro Jahr. Das Verlagsprogramm umfasst sowohl wissenschaftliche als auch populärwissenschaftliche Titel.
