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

简体网页||繁体网页

☆☆☆☆☆

出版者:

作者:Benjamin C. Pierce

出品人:

页数:999

译者:

出版时间:2019-1-9

价格:0

装帧:Paperback

isbn号码:9783293000544

丛书系列:

图书标签:

计算机科学
Coq
程序语言理论
计算机
Programming
软件
编程
pl
Software Foundations
Programming
Functional Programming
Type Theory
Formal Methods
Computer Science
Theory of Computation
Logic

下载链接在页面底部

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

想要找书就要到小美书屋

book.quotespace.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

具体描述

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.

作者简介

目录信息

Volume 1
Logical Foundations is the entry-point to the series. It covers functional programming, basic concepts of logic, computer-assisted theorem proving, and Coq.
Volume 2
Programming Language Foundations surveys the theory of programming languages, including operational semantics, Hoare logic, and static type systems.
Volume 3
Verified Functional Algorithms shows how a variety of fundamental data structures can be specified and mechanically verified.
Volume 4
QuickChick: Property-Based Testing in Coq introduces tools and techniques for combining randomized property-based testing with formal specification and proof in the Coq ecosystem.
· · · · · · (收起)