Isabelle/HOL 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024

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

Nipkow, Tobias; Nipkow, T.; Paulson, Lawrence C. 作者

译者

2002-5 出版日期

218 页数

605.00元价格

丛书系列

9783540433767 图书编码

Isabelle/HOL 在线电子书图书标签: Verification HOL Formal

喜欢 Isabelle/HOL 在线电子书的读者还喜欢

下载链接在页面底部

点击这里下载

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

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-12-28

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

Isabelle/HOL 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024

Isabelle/HOL 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024

Isabelle/HOL 在线电子书用户评价

评分☆☆☆☆☆

Isabelle/HOL 在线电子书著者简介

Isabelle/HOL 在线电子书图书目录

Isabelle/HOL 在线电子书 pdf 下载 txt下载 epub 下载 mobi 在线电子书下载

Isabelle/HOL 在线电子书图书描述

《Isabelle/HOL》内容简介：This textbook-like tutorial is a self-contained introduction to interactive proof, specification, and verification in higher-order logic, using the proof assistant Isabelle 2002. In contrast to existing Isabelle documentation, this book provides a direct route into higher-order logic by bypassing first-order logic and minimizing discussion of meta-theory.

Isabelle is a generic system for implementing logical formalisms, and Isabelle/HOL is the specialization of Isabelle for higher-order logic; this theorem prover is well suited as a specification and verification system.

Isabelle/HOL 在线电子书下载 mobi epub pdf txt 在线电子书下载

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

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!