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 ...
Certified Programs and Proofs
Wo zu kaufen (4) Eigenschaften
Gesponsert
Certified Programs and Proofs
Hugendubel
53.49 EUR
Preis aktualisiert am: 29-10-2026 12:03:25
Siehe Produktangebot
Gesponsert
Certified Programs and Proofs, Fachbücher von Georges Gonthier, Michael Norrish
Galaxus.de
53.49 EUR
Preis aktualisiert am: 29-10-2026 03:57:58
Siehe Produktangebot
Gesponsert
Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings (Lecture Notes in Computer Science)
Medimops DE
53.49 EUR
Preis aktualisiert am: 02-11-2026 22:40:58
Siehe Produktangebot
Gesponsert
Certified Programs and Proofs
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 03-11-2026 17:49:31
Siehe Produktangebot

Allgemein

Marke
Springer International Publishing
ISBN
Springer International Publishing 3319035444
MPN
Springer International Publishing 44 black & white illustrations, biograph

Eigenschaften

Ähnliche Produkte

Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings (Lecture Notes in Computer Science, Band 7679)
Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings (Lecture Notes in Computer Science, Band 7679)
Aus49.98 EUR 4
Produkt anzeigen
Certified Programs and Proofs
Certified Programs and Proofs
Aus47.00 EUR 2
Produkt anzeigen
Certified Programs and Proofs
Certified Programs and Proofs
Aus47.00 EUR 2
Produkt anzeigen
Program Logics for Certified Compilers
Program Logics for Certified Compilers
Aus87.99 EUR 1
Produkt anzeigen
Menü