Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings (Lecture Notes in Computer Science)
Erleben Sie in den Proceedings der CPP 2013-Konferenz die neuesten Fortschritte bei formaler Verifikation und Programmsicherheit – präsentiert vo ...
Gesponsert
Medimops DE
53.49 EUR
Preis aktualisiert am: 11-06-2026 14:57:37
Gesponsert
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 11-06-2026 10:18:02
Gesponsert
Galaxus.de
53.49 EUR
Preis aktualisiert am: 11-06-2026 03:11:06
Allgemein
Marke
Springer International Publishing
ISBN
Springer International Publishing 3319035444
MPN
Springer International Publishing 44 black & white illustrations, biograph
