文件名称：Software Foundations -- Basics.pdf
文件大小：857KB
文件格式：PDF
更新时间：2022-07-07 16:35:25
计算机科学 软件基础 可靠软件 Coq 形式化证明
<<软件基础: 可靠软件的数学根基>> 系列书籍是通向计算机科学的大门, 整套书介绍了什么是可靠软件的研发, 及其与数学的深刻关联. 这套书完全开源, 有社区中文译版, 学习曲线平滑, 适合有一定逻辑学基础的高中或大学学生学习.
Software Foundations -- Basics.pdf
【文件属性】：