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
Tân sinh viên quốc tế tham quan, trải nghiệm và tìm hiểu cách khai thác tài nguyên thông tin Thư viện
Thứ Hai, 13:11 07/09/2026
Trao tặng những món quà ý nghĩa tới học sinh có hoàn cảnh khó khăn tại Trường TH&THCS Bắc Phong trước thềm năm học mới
Thứ Năm, 07:53 03/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/2024
21st Century Cooperation: Regional Public Goods, Global Governance, and Sustainable Development
Thứ Ba, 09:32 06/10/2026Copyright © 2018 Hanoi University of Industry.
