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

Wo zu kaufen (1) Eigenschaften
Gesponsert
Certified Programs and Proofs
Hugendubel
53.49 EUR
Preis aktualisiert am: 16-09-2026 03:25:49
Siehe Produktangebot

Allgemein

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

Eigenschaften

Ähnliche Produkte

Certified Programs and Proofs
Certified Programs and Proofs
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
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
Certified Programs and Proofs
Certified Programs and Proofs
Produkt anzeigen
Menü