Certified Programming with Dependent Types
Cuốn sách này giới thiệu về phần mềm Coq để viết và kiểm tra các bằng chứng toán học. Nó tập trung vào kỹ thuật thực tế xuyên suốt, nhấn mạnh các kỹ thuật sẽ giúp người dùng xây dựng, hiểu và duy trì sự phát triển Coq lớn và giảm thiểu chi phí thay đổi mã theo thời gian.
Thứ Tư, 14:43 16/09/2026
Hướng dẫn khai thác và sử dụng Thư viện Đại học Công nghiệp Hà Nội năm 2024
Thứ Ba, 14:33 17/09/2024PGS.TS Nguyễn Thị Hồng Nga, Giám đốc - Trung tâm Đào tạo Sau đại học trao tặng 02 đầu sách ngoại văn cho Trung tâm Thông tin - Thư viện
Thứ Sáu, 07:37 24/05/2024Truy cập hàng triệu sách điện tử miễn phí với The Online Books Page
Thứ Hai, 08:38 22/01/2024
Forged in Genocide: Migrant Workers Shaping Colonial Capitalism in Namibia, 1890–1925
Thứ Tư, 15:37 16/09/2026
Predicting Inequality of Opportunity and Poverty in India Using Machine Learning
Thứ Tư, 15:35 16/09/2026Copyright © 2018 Hanoi University of Industry.
