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

☆☆☆☆☆
简体网页||繁体网页

Benjamin C. Pierce

2019-1-9

999

Paperback

9783293000544

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

喜欢 Software Foundations 的读者还喜欢

下载链接在页面底部

点击这里下载

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到小哈图书下载中心

qciss.net

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-05-16

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 电子书