Thông tin tài liệu
| Nhan đề : | Certified Programming with Dependent Types |
| Tác giả : | Adam, Chlipala |
| Từ khoá : | Lập trình máy tính; Chương trình máy tính |
| Năm xuất bản : | 2019 |
| Nhà xuất bản : | The MIT Press |
| Tóm tắt : | 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. |
| Mô tả: | Ebook miễn phí tại trang https://www.freetechbooks.com |
| URI: | http://dlib.hust.edu.vn/handle/HUST/23946 |
| Liên kết tài liệu gốc: | https://www.freetechbooks.com/certified-programming-with-dependent-types-a-pragmatic-introduction-to-the-coq-proof-assistant-t1184.html |
| ISBN : | 0262026651 9780262026659 |
| Trong bộ sưu tập: | OER - Công nghệ thông tin |
XEM MÔ TẢ
25
XEM & TẢI
23
Danh sách tệp tin đính kèm:
Tài liệu được cấp phép theo Bản quyền Creative Commons
