Related Books
Language: en
Pages: 414
Pages: 414
Type: BOOK - Published: 2011-11-18 - Publisher: Springer Science & Business Media
This book constitutes the referred proceedings of the First International Conference on Certified Programs and Proofs, CPP 2011, held in Kenting, Taiwan, in Dec
Language: en
Pages: 314
Pages: 314
Type: BOOK - Published: 2012-11-08 - Publisher: Springer
This book constitutes the refereed proceedings of the Second International Conference on Certified Programs and Proofs, CPP 2012, held in Kyoto, Japan, in Decem
Language: en
Pages: 437
Pages: 437
Type: BOOK - Published: 2013-12-06 - Publisher: MIT Press
A handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus. The technology of mechanized program verificati
Language: en
Pages: 318
Pages: 318
Type: BOOK - Published: 2013-12-11 - Publisher: Springer
This book constitutes the refereed proceedings of the Third International Conference on Certified Programs and Proofs, CPP 2013, colocated with APLAS 2013 held
Language: en
Pages: 340
Pages: 340
Type: BOOK - Published: 2003-04-28 - Publisher: Springer Science & Business Media
This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop of the TYPES Working Group, TYPES 2002, held in Berg en Dal,