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
Galaxus.de
53.49 EUR
Preis aktualisiert am: 28-07-2026 12:45:57
Gesponsert
Medimops DE
53.49 EUR
Preis aktualisiert am: 27-07-2026 22:40:20
Gesponsert
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 29-07-2026 07:17:46
Allgemein
Marke
Springer International Publishing
ISBN
Springer International Publishing 3319035444
MPN
Springer International Publishing 44 black & white illustrations, biograph
