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 在線電子書的讀者還喜歡

下載鏈接在頁面底部

點擊這裡下載

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製鏈接

想要找書就要到圖書目錄大全

book.wenda123.org

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

發表於2024-12-29

Isabelle/HOL 在線電子書 epub 下載 mobi 下載 pdf 下載 txt 下載 2024

Isabelle/HOL 在線電子書 epub 下載 pdf 下載 mobi 下載 txt 下載 2024

Isabelle/HOL 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024

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收藏本頁

你會得到大驚喜!!