Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings (Lecture Notes in Computer Science, Band 7679)

Gesponsert
53.49 EUR
Preis aktualisiert am: 29-10-2026 02:18:39
Gesponsert
53.49 EUR
Preis aktualisiert am: 29-10-2026 14:13:45
Gesponsert
59.00 EUR
Preis aktualisiert am: 01-11-2026 18:29:51

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 364235307X
MPN
Springer Berlin Heidelberg 64 black & white illustrations

Eigenschaften

Menü