Concrete Semantics 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024


Concrete Semantics

简体网页||繁体网页
Tobias Nipkow 作者
Springer
译者
2014-12-3 出版日期
298 页数
USD 79.99 价格
Hardcover
丛书系列
9783319105413 图书编码

Concrete Semantics 在线电子书 图书标签: PL  逻辑  语言  语义  计算机  编程语言  纪念w君  形式化   


喜欢 Concrete Semantics 在线电子书 的读者还喜欢




点击这里下载
    

想要找书就要到 图书目录大全
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-12-23


Concrete Semantics 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024

Concrete Semantics 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024

Concrete Semantics 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024



Concrete Semantics 在线电子书 用户评价

评分

结合了交互式定理证明系统跟编程语言语义学,让读者得以动手进行程序证明的实践,使得语义学的学习没有那么枯燥抽象。内容上以广度为主,适合入门,不过感觉之前没学过符号逻辑的话这书真的挺难读的。。

评分

结合了交互式定理证明系统跟编程语言语义学,让读者得以动手进行程序证明的实践,使得语义学的学习没有那么枯燥抽象。内容上以广度为主,适合入门,不过感觉之前没学过符号逻辑的话这书真的挺难读的。。

评分

结合了交互式定理证明系统跟编程语言语义学,让读者得以动手进行程序证明的实践,使得语义学的学习没有那么枯燥抽象。内容上以广度为主,适合入门,不过感觉之前没学过符号逻辑的话这书真的挺难读的。。

评分

结合了交互式定理证明系统跟编程语言语义学,让读者得以动手进行程序证明的实践,使得语义学的学习没有那么枯燥抽象。内容上以广度为主,适合入门,不过感觉之前没学过符号逻辑的话这书真的挺难读的。。

评分

结合了交互式定理证明系统跟编程语言语义学,让读者得以动手进行程序证明的实践,使得语义学的学习没有那么枯燥抽象。内容上以广度为主,适合入门,不过感觉之前没学过符号逻辑的话这书真的挺难读的。。

Concrete Semantics 在线电子书 著者简介

Prof. Tobias Nipkow received his Ph.D. in Manchester, after which he taught and carried out research at MIT and in Cambridge. He took up a professorship in 1992 at the Technische Universität München where he holds the Chair for Logic and Verification. He was one of the developers of Isabelle, a generic proof assistant, and he coauthored the related LNCS tutorial. He also coauthored the textbook "Term Rewriting and All That", and he is the Editor-in-Chief of the Journal of Automated Reasoning. His research interests include automatic and interactive theorem proving, formal verification, formalizing programming languages, type systems, semantics, rewriting and unification, and the lambda-calculus.

Assoc. Prof. Gerwin Klein received his Ph.D. in Computer Science from the Technische Universität München. He is a Senior Principal Researcher/Research Leader at National ICT Australia (NICTA) and an adjunct professor in the School of Computer Science and Engineering, University of New South Wales. His research interests include interactive theorem proving, software verification, and the semantics of programming languages.


Concrete Semantics 在线电子书 图书目录


Concrete Semantics 在线电子书 pdf 下载 txt下载 epub 下载 mobi 在线电子书下载

Concrete Semantics 在线电子书 图书描述

Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and inductive definitions and how to prove properties about them in Isabelle’s structured proof language. Part II is an introduction to the semantics of imperative languages with an emphasis on applications like compilers and program analysers. The distinguishing feature is that all the mathematics has been formalised in Isabelle and much of it is executable. Part I focusses on the details of proofs in Isabelle; Part II can be read even without familiarity with Isabelle’s proof language, all proofs are described in detail but informally.

The book teaches the reader the art of precise logical reasoning and the practical use of a proof assistant as a surgical tool for formal proofs about computer science artefacts. In this sense it represents a formal approach to computer science, not just semantics. The Isabelle formalisation, including the proofs and accompanying slides, are freely available online, and the book is suitable for graduate students, advanced undergraduate students, and researchers in theoretical computer science and logic.

Concrete Semantics 在线电子书 下载 mobi epub pdf txt 在线电子书下载

想要找书就要到 图书目录大全
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

Concrete Semantics 在线电子书 读后感

评分

评分

评分

评分

评分

类似图书 点击查看全场最低价

Concrete Semantics 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024


分享链接





Concrete Semantics 在线电子书 相关图书




本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

友情链接

© 2024 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有