Thông tin tài liệu
| Title: | Certified Programming with Dependent Types |
| Authors: | Adam, Chlipala |
| Keywords: | Lập trình máy tính; Chương trình máy tính |
| Issue Date: | 2019 |
| Publisher: | The MIT Press |
| Abstract: | This textbook covers practical engineering with the Coq proof assistant. The focus is on building programs with proofs of correctness, using dependent types and scripted proof automation. |
| Description: | Ebook miễn phí tại trang https://www.freetechbooks.com |
| URI: | http://dlib.hust.edu.vn/handle/HUST/23946 |
| Link item primary: | https://www.freetechbooks.com/certified-programming-with-dependent-types-a-pragmatic-introduction-to-the-coq-proof-assistant-t1184.html |
| ISBN: | 0262026651 9780262026659 |
| Appears in Collections: | OER - Công nghệ thông tin |
ABSTRACTS VIEWS
25
VIEWS & DOWNLOAD
23
Files in This Item:
This item is licensed under a Creative Commons License
