Certified programming with dependent types. A pragmatic introduction to the coq proof assistant.
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Định dạng: | Sách |
| Được phát hành: |
Cambridge, Massachusetts, USA: London, England,
2013.
|
| Những chủ đề: | |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
Là người đầu tiên ghi lời nhận xét!