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
07-06-2026 08:19:21
SpringerLink DE
Gesponsert
Galaxus.de
Certified Programs and Proofs, Fachbücher von Dale Miller, Chris Hawblitzel
Galaxus.de
07-06-2026 12:45:30
Ä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