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-11-14
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 電子書 下載
