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