商品の詳細
裁断業者にて裁断済みです。以下、アマゾンからの引用です。amazon price：8338円Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)内容説明A practical introduction to the development of proofs and certified programs using Coq.An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.
| カテゴリー: | 本・音楽・ゲーム>>>本>>>洋書 |
|---|---|
| 商品の状態: | 未使用に近い |
| 配送料の負担: | 送料込み(出品者負担) |
| 配送の方法: | 佐川急便/日本郵便 |
| 発送元の地域: | 東京都 |
| 発送までの日数: | 1~2日で発送 |
商品の説明
Interactive Theorem Proving and Program Development
Automated Theorem Proving: Theory and Practice | SpringerLink
Learning Proof Transformations and Its Applications in Interactive
Interactive Theorem Proving, Lecture 2 - Coq and the Curry-Howard correspondence, by Elias Castegren
4: The interactive theorem proving process. | Download Scientific
最新のクチコミ
洋書
-
-
3
カリタ コーヒーミル 即決お早いもの勝ち！
調理機器
￥15,390
