Interactive Theorem Proving and Program Development pdf epub mobi txt 电子书 下载 2024
简体网页||繁体网页
图书标签: Coq 计算机科学 TheoremProver 逻辑 计算机软件和理论 计算机 PL Tools
喜欢 Interactive Theorem Proving and Program Development 的读者还喜欢
-
Types and Programming Languages pdf epub mobi txt 电子书 下载 -
Essentials of Programming Languages, 3rd Edition pdf epub mobi txt 电子书 下载
-
Real World OCaml pdf epub mobi txt 电子书 下载
-
Structure and Interpretation of Computer Programs - 2nd Edition (MIT) pdf epub mobi txt 电子书 下载
-
Lambda-Calculus and Combinators pdf epub mobi txt 电子书 下载
-
The Little Schemer - 4th Edition pdf epub mobi txt 电子书 下载
-
Algorithms pdf epub mobi txt 电子书 下载
-
Parsing Techniques pdf epub mobi txt 电子书 下载
-
具体数学（英文版第2版） pdf epub mobi txt 电子书 下载
-
Engineering a Compiler, Second Edition pdf epub mobi txt 电子书 下载
点击这里下载
发表于2024-12-28
Interactive Theorem Proving and Program Development epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024
Interactive Theorem Proving and Program Development epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024
Interactive Theorem Proving and Program Development pdf epub mobi txt 电子书 下载 2024
图书描述
Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory. This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is an invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.
著者简介
图书目录
Interactive Theorem Proving and Program Development pdf epub mobi txt 电子书 下载
用户评价
读后感
评分
评分
评分
评分
Interactive Theorem Proving and Program Development pdf epub mobi txt 电子书 下载 2024
分享链接
Interactive Theorem Proving and Program Development pdf 电子书 下载链接
相关图书
-
Aristotle Poetics pdf epub mobi txt 电子书 下载
-
Deleuzism pdf epub mobi txt 电子书 下载
-
系统工程Petri网 pdf epub mobi txt 电子书 下载
-
量子场论 第2卷 pdf epub mobi txt 电子书 下载
-
The Republic pdf epub mobi txt 电子书 下载
-
Matter of Images pdf epub mobi txt 电子书 下载
-
Theory and Practice of Uncertain Programming pdf epub mobi txt 电子书 下载
-
Conversations with Susan Sontag (Literary Conversations Series) pdf epub mobi txt 电子书 下载
-
A History of Interior Design pdf epub mobi txt 电子书 下载
-
The Essential Adam Smith pdf epub mobi txt 电子书 下载
-
THE NORTON ANTHOLOGY OF POETRY pdf epub mobi txt 电子书 下载
-
Bridges Not Walls pdf epub mobi txt 电子书 下载
-
Molecular Quantum Mechanics pdf epub mobi txt 电子书 下载
-
Syzygies and Homotopy Theory pdf epub mobi txt 电子书 下载
-
Bifurcation Theory pdf epub mobi txt 电子书 下载
-
Matrix Theory pdf epub mobi txt 电子书 下载
-
Contributions in Analytic and Algebraic Number Theory pdf epub mobi txt 电子书 下载
-
Mixed Integer Nonlinear Programming pdf epub mobi txt 电子书 下载
-
Theory of Computation pdf epub mobi txt 电子书 下载
-
Transductions pdf epub mobi txt 电子书 下载
