Software Foundations pdf epub mobi txt 电子书 下载 2024


Software Foundations

简体网页||繁体网页
Benjamin C. Pierce
2019-1-9
999
0
Paperback
9783293000544

图书标签: 计算机科学  Coq  程序语言理论  计算机  Programming  软件  编程  pl   


喜欢 Software Foundations 的读者还喜欢




点击这里下载
    


想要找书就要到 小哈图书下载中心
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-12-25

Software Foundations epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024

Software Foundations epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024

Software Foundations pdf epub mobi txt 电子书 下载 2024



图书描述

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 下载 mobi epub pdf txt 电子书

著者简介


图书目录


Software Foundations pdf epub mobi txt 电子书 下载
想要找书就要到 小哈图书下载中心
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

用户评价

评分

学完coq之后再学后续的type theory和math logic可能会容易一些。里面的每一道例题与习题最好还是亲自写一写,会有很大的收获的。

评分

学习PLT的入门神作

评分

前半部分主讲Coq,后面部分和TAPL结合起来看。 好多题目没做完,需要多看几遍。

评分

内容涵盖coq入门、形式语义、程序验证、类型系统,可以边读边在coq上做证明,强力推荐

评分

Coq 入门最佳教材。

读后感

评分

评分

评分

评分

评分

类似图书 点击查看全场最低价

Software Foundations pdf epub mobi txt 电子书 下载 2024


分享链接









相关图书




本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

友情链接

© 2024 qciss.net All Rights Reserved. 小哈图书下载中心 版权所有