作者:
Yves Bertot
/
Pierre Castéran
/
Pierre CastTran
出版社: Springer
出版年: 2004-06-24
页数: 497
定价: USD 79.95
装帧: Hardcover
ISBN: 9783540208549
出版社: Springer
出版年: 2004-06-24
页数: 497
定价: USD 79.95
装帧: Hardcover
ISBN: 9783540208549
内容简介 · · · · · ·
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 a...
喜欢读"Interactive Theorem Proving and Program Development"的人也喜欢 · · · · · ·
我来说两句
短评 · · · · · ·
Interactive Theorem Proving and Program Development的书评 · · · · · · ( 全部 0 条 )
论坛 · · · · · ·
在这本书的论坛里发言这本书的其他版本 · · · · · · ( 全部2 )
以下书单推荐 · · · · · · ( 全部 )
- Programming Language Theory (吴上阿吉)
- MIT EECS (Voyager)
- Program. Lang. Theory & Compiler Constr. (𝕾𝖚𝖓)
- 21 Spring (Decretum)
- Fundamentals of Program Analysis (秋)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
- 在豆瓣转让 有27人想读,手里有一本闲着?
订阅关于Interactive Theorem Proving and Program Development的评论:
feed: rss 2.0
还没人写过短评呢
还没人写过短评呢