Gå direkte til innholdet
Certified Programs and Proofs
Spar

Certified Programs and Proofs

This book constitutes the refereed proceedings of the Third International Conference on Certified Programs and Proofs, CPP 2013, colocated with APLAS 2013 held in Melbourne, Australia, in December 2013. The papers are organized in topical sections on code verification, elegant proofs, proof libraries, certified transformations and security.
Undertittel
Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings
Opplag
2013 ed.
ISBN
9783319035444
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
18.11.2013
Antall sider
309