图书目录大全

Interactive Theorem Proving and Program Development 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024

☆☆☆☆☆
简体网页||繁体网页

Yves Bertot 作者

Springer

译者

2004-06-24 出版日期

497 页数

USD 79.95 价格

Hardcover

丛书系列

9783540208549 图书编码

Interactive Theorem Proving and Program Development 在线电子书图书标签: Coq 计算机科学 TheoremProver 逻辑计算机软件和理论计算机 PL Tools

喜欢 Interactive Theorem Proving and Program Development 在线电子书的读者还喜欢

下载链接在页面底部

点击这里下载

想要找书就要到图书目录大全

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-06-21

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

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 在线电子书下载 mobi epub pdf txt 在线电子书下载

想要找书就要到图书目录大全

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!