Interactive Theorem Proving and Program Development 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
简体网页||繁体网页
Interactive Theorem Proving and Program Development 在线电子书 图书标签: Coq 计算机科学 TheoremProver 逻辑 计算机软件和理论 计算机 PL Tools
喜欢 Interactive Theorem Proving and Program Development 在线电子书 的读者还喜欢
-
Types and Programming Languages 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 -
Essentials of Programming Languages, 3rd Edition 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
-
Real World OCaml 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
-
Structure and Interpretation of Computer Programs - 2nd Edition (MIT) 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
-
Lambda-Calculus and Combinators 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
-
The Little Schemer - 4th Edition 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
-
Algorithms 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
-
Parsing Techniques 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
-
具体数学（英文版第2版） 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
-
Engineering a Compiler, Second Edition 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
点击这里下载
发表于2024-11-27
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 下载 txt下载 epub 下载 mobi 下载 2024
Interactive Theorem Proving and Program Development 在线电子书 用户评价
Interactive Theorem Proving and Program Development 在线电子书 著者简介
Interactive Theorem Proving and Program Development 在线电子书 图书目录
Interactive Theorem Proving and Program Development 在线电子书 pdf 下载 txt下载 epub 下载 mobi 在线电子书下载
Interactive Theorem Proving and Program Development 在线电子书 图书描述
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 在线电子书 读后感
评分
评分
评分
评分
Interactive Theorem Proving and Program Development 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
分享链接
Interactive Theorem Proving and Program Development pdf 电子书 下载链接
Interactive Theorem Proving and Program Development 在线电子书 相关图书
-
Aristotle Poetics 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Deleuzism 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
系统工程Petri网 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
量子场论 第2卷 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
The Republic 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Matter of Images 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Theory and Practice of Uncertain Programming 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Conversations with Susan Sontag (Literary Conversations Series) 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
A History of Interior Design 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
The Essential Adam Smith 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
THE NORTON ANTHOLOGY OF POETRY 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Bridges Not Walls 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Molecular Quantum Mechanics 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Syzygies and Homotopy Theory 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Bifurcation Theory 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Matrix Theory 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Contributions in Analytic and Algebraic Number Theory 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Mixed Integer Nonlinear Programming 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Theory of Computation 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Transductions 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
