Certified Programming with Dependent Typesthe_mit_press978-02-6254-574-797802625457472022-06-07English (United States)440SoftcoverBook profileEnglish (United States)
Book · 1 edition
Certified Programming with Dependent Types
- 2022
- first published
- English
- language
- 1
- edition in English
- 440
- pages
A handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus. The technology of mechanized program verification can play a supporting role in many kinds...
Editions
1 edition · sort: newestCertified Programming with Dependent Typesthe_mit_press978-02-6254-574-797802625457472022-06-07English (United States)440Softcover