Computational Logic and Set Theory pdf epub mobi txt 電子書下載 2024

☆☆☆☆☆
簡體網頁||繁體網頁

Schwartz, Jacob/ Omodeo, Eugenio/ Cantone, Domenico

Springer-Verlag New York Inc

2007-4

368

$ 79.04

HRD

9780387407623

圖書標籤:

喜歡 Computational Logic and Set Theory 的讀者還喜歡

下載链接在页面底部

點擊這裡下載

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

想要找書就要到小哈圖書下載中心

qciss.net

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

发表于2024-11-25

Computational Logic and Set Theory epub 下載 mobi 下載 pdf 下載 txt 電子書下載 2024

Computational Logic and Set Theory pdf epub mobi txt 電子書下載 2024

圖書描述

An advanced, graduate-level text, surveying computational logic and set theory and its application to proof verification techniques. Book develops all needed theory and provides a CD-ROM with a proof-verifier program to demonstrate concepts. Advanced CS students and researches will find the book an essential presentation of the theoretical concepts of proof verification (i.e., proof checker) systems for large-scale software systems. Topics and features: *Describes in-depth how a specific first-order theory can be exploited to model and carry out reasoning in branches of computer science and mathematics *Provides a verifier aimed at tackling large-scale proof scenarios *Integrates important proof-engineering issues, reflecting the goals of large-scale verifiers

Computational Logic and Set Theory 下載 mobi epub pdf txt 電子書