1 / 1
- 2022
- year of publication
- 440
- pages
- English (United States)
- language
- Softcover
- cover
- Publisher
- the_mit_press
- ISBN-13
- 978-02-6254-574-7
- EAN
- 9780262545747
- Publication date
- 2022-06-07
- Book
- Certified Programming with Dependent Types · 1 edition
The publisher on this edition
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...