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 (3) Eigenschaften

Gesponsert

Hugendubel

53.49 EUR

Preis aktualisiert am: 28-10-2026 20:06:14

Siehe Produktangebot

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: 29-10-2026 00:02:15

Siehe Produktangebot

Gesponsert

Certified Programs and Proofs

SpringerLink DE

59.00 EUR

Preis aktualisiert am: 01-11-2026 18:29:48

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)

Aus49.98 EUR 4

Produkt anzeigen

Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings (Lecture Notes in Computer Science)

Aus53.49 EUR 4

Produkt anzeigen

Certified Programs and Proofs

Aus47.00 EUR 2

Produkt anzeigen

Passing the Certified Bariatric Nurses Exam

Aus48.14 EUR 3

Produkt anzeigen

Program Logics for Certified Compilers

Aus109.73 EUR 1

Produkt anzeigen

Basiswissen Requirements Engineering: Aus- und Weiterbildung nach IREB-Standard zum Certified Professional for Requirements Engineering Foundation Level

Aus5.51 EUR 1

Produkt anzeigen