Certified Programs and Proofs

Dieses Sammelwerk aus der ersten internationalen Konferenz über zertifizierte Programme und Beweise in Kenting bietet tiefgehende Analysen zu formale ...
Wo zu kaufen (2) Eigenschaften
Gesponsert
Certified Programs and Proofs: First International Conference, C.P.P. 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings (Lecture Notes in ... Issues) (Lecture Notes in Computer Science)
Medimops DE
53.49 EUR
Preis aktualisiert am: 11-06-2026 16:20:06
Siehe Produktangebot
Gesponsert
Certified Programs and Proofs
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 11-06-2026 23:44:18
Siehe Produktangebot

Allgemein

Marke
Springer-Verlag GmbH
ISBN
Springer-Verlag GmbH 3642253784
MPN
Springer-Verlag GmbH 87 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)
Produkt anzeigen
Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings (Lecture Notes in Computer Science)
Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings (Lecture Notes in Computer Science)
Produkt anzeigen
Passing the Certified Bariatric Nurses Exam
Passing the Certified Bariatric Nurses Exam
Produkt anzeigen
Certified Programs and Proofs
Certified Programs and Proofs
Produkt anzeigen
Program Logics for Certified Compilers
Program Logics for Certified Compilers
Produkt anzeigen
Basiswissen Requirements Engineering: Aus
Basiswissen Requirements Engineering: Aus- und Weiterbildung nach IREB-Standard zum Certified Professional for Requirements Engineering Foundation Level
Produkt anzeigen
Menü