Software Foundations epub pdf mobi txt 电子书 下载 2025
Software Foundations epub pdf mobi txt 电子书 下载 2025
简体网页||繁体网页
下载链接1
下载链接2
下载链接3
发表于2025-04-07
商品介绍
Software Foundations epub pdf mobi txt 电子书 下载 2025
相关书籍
书籍描述
The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software.
The principal novelty of the series is that every detail is one hundred percent formalized and machine-checked: the entire text of each volume, including the exercises, is literally a "proof script" for the Coq proof assistant.
The exposition is intended for a broad range of readers, from advanced undergraduates to PhD students and researchers. No specific background in logic or programming languages is assumed, though a degree of mathematical maturity is helpful. A one-semester course can expect to cover Logical Foundations plus most of Programming Language Foundations or Verified Functional Algorithms, or selections from both.
Software Foundations epub pdf mobi txt 电子书 下载 2025
Software Foundations 下载 epub mobi pdf txt 电子书 2025Software Foundations pdf 下载 mobi 下载 pub 下载 txt 电子书 下载 2025
Software Foundations mobi pdf epub txt 电子书 下载 2025
Software Foundations epub pdf mobi txt 电子书 下载读者评价
##这本书最好的就是它经常介绍证明背后的的intution，直觉主义逻辑本身也不容易出问题，可以说是我看的最心服口服的几本书之一
评分##Coq入门可以康康
评分 评分内容涵盖coq入门、形式语义、程序验证、类型系统，可以边读边在coq上做证明，强力推荐
评分 评分 评分内容涵盖coq入门、形式语义、程序验证、类型系统，可以边读边在coq上做证明，强力推荐
评分##Coq 入门最佳教材。
评分##编程语言实验室必读系列，形式化证明的入门书。第一卷介绍了 Coq 的基本原理和使用，第二卷前面简单讲了霍尔逻辑、后面着重讲了小步操作语义下怎么证明类型安全，第三四卷暂时没看。
Software Foundations epub pdf mobi txt 电子书 下载 2025
Software Foundations epub pdf mobi txt 电子书 下载 2025
分享链接
相关书籍
-
Python编程无师自通 epub pdf mobi txt 电子书 下载 -
程序员代码面试指南（第2版） epub pdf mobi txt 电子书 下载
-
Effective Java中文版（第3版） epub pdf mobi txt 电子书 下载
-
Windows黑客编程技术详解 epub pdf mobi txt 电子书 下载
-
Node.js开发实战 epub pdf mobi txt 电子书 下载
-
代码里的世界观——通往架构师之路 epub pdf mobi txt 电子书 下载
-
你也能看得懂的Python算法书 epub pdf mobi txt 电子书 下载
-
软件调试 第2版 epub pdf mobi txt 电子书 下载
-
我的第一本算法书 epub pdf mobi txt 电子书 下载
-
Eloquent Javascript, 3rd Edition epub pdf mobi txt 电子书 下载
-
The Little Typer epub pdf mobi txt 电子书 下载
-
正则指引（第2版） epub pdf mobi txt 电子书 下载
-
python学习手册（原书第5版） epub pdf mobi txt 电子书 下载
-
Python 3标准库 epub pdf mobi txt 电子书 下载
-
Java并发编程之美 epub pdf mobi txt 电子书 下载
-
码出高效：Java开发手册 epub pdf mobi txt 电子书 下载
-
Android进阶解密 epub pdf mobi txt 电子书 下载
-
精通Java并发编程（第2版） epub pdf mobi txt 电子书 下载
-
实战Java高并发程序设计（第2版） epub pdf mobi txt 电子书 下载
-
加密与解密（第4版） epub pdf mobi txt 电子书 下载
