Software Foundations epub pdf mobi txt 电子书 下载 2025
发表于2025-04-29
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 mobi pdf epub txt 电子书 下载 2025
Software Foundations epub pdf mobi txt 电子书 下载##已经出到系列四了
评分##Coq入门可以康康
评分##It's inspiring many interesting examples in there. But sometimes I cannot understand the content.
评分 评分内容涵盖coq入门、形式语义、程序验证、类型系统,可以边读边在coq上做证明,强力推荐
评分 评分内容涵盖coq入门、形式语义、程序验证、类型系统,可以边读边在coq上做证明,强力推荐
评分Software Foundations epub pdf mobi txt 电子书 下载 2025