Certified Programs and Proofs
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings (Lecture Notes in Computer Science, Band 7679)
Medimops DE
23-04-2026 06:13:57
SpringerLink DE
Gesponsert
Galaxus.de
Certified Programs and Proofs, Fachbücher von Dale Miller, Chris Hawblitzel
Galaxus.de
22-04-2026 21:17:05
Ähnliche Produkte
Certified Programs and Proofs
53.49 EUR
Program Logics for Certified Compilers
110.50 EUR
Certified Programs and Proofs
42.79 EUR
Certified Programs and Proofs
42.79 EUR
Program Logics for Certified Compilers
85.49 EUR