Siirry suoraan sisältöön
Certified Programs and Proofs
Tallenna

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.
Alaotsikko
Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings
Painos
2013 ed.
ISBN
9783319035444
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
18.11.2013
Sivumäärä
309