Software Foundations 下载 mobi epub pdf 电子书 2025

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

Benjamin C. Pierce

下载链接在页面底部

下载链接1
下载链接2
下载链接3

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

想要找书就要到新城书站

book.cndgn.com

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2025-02-25

图书介绍

2019-1-9 Paperback 9783293000544

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

图书描述

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