Thông tin tài liệu
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Adam, Chlipala | - |
| dc.date.accessioned | 2024-02-29T04:52:35Z | - |
| dc.date.available | 2024-02-29T04:52:35Z | - |
| dc.date.issued | 2019 | - |
| dc.identifier.isbn | 0262026651 | vi |
| dc.identifier.isbn | 9780262026659 | vi |
| dc.identifier.other | OER000003057 | vi |
| dc.identifier.uri | http://dlib.hust.edu.vn/handle/HUST/23946 | - |
| dc.description | Ebook miễn phí tại trang https://www.freetechbooks.com | vi |
| dc.description.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. | vi |
| dc.description.uri | https://www.freetechbooks.com/certified-programming-with-dependent-types-a-pragmatic-introduction-to-the-coq-proof-assistant-t1184.html | vi |
| dc.format | vi | |
| dc.language.iso | en | vi |
| dc.publisher | The MIT Press | vi |
| dc.rights | Attribution-NonCommercial-NoDerivs 3.0 Vietnam | * |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/vn/ | * |
| dc.subject | Lập trình máy tính | vi |
| dc.subject | Chương trình máy tính | vi |
| dc.subject.lcc | QA76.6 | vi |
| dc.title | Certified Programming with Dependent Types | vi |
| dc.type | Ebooks (Sách điện tử) | vi |
| Appears in Collections: | OER - Công nghệ thông tin | |
Files in This Item:
This item is licensed under a Creative Commons License
