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
25-07-2026 02:45:31
Gesponsert
Galaxus.de
Certified Programs and Proofs, Fachbücher von Dale Miller, Chris Hawblitzel
Galaxus.de
25-07-2026 19:48:24
SpringerLink DE Ähnliche Produkte
Certified Programs and Proofs
53.49 EUR
Certified Programs and Proofs
47.00 EUR
Certified Programs and Proofs
47.00 EUR
Program Logics for Certified Compilers
105.80 EUR
