Concrete Semantics: With Isabelle/HOL
Overview & Synopsis
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.
Indexed from repository: FreeComputerBooks.com
(
freecomputerbooks.com)
Keyboard Shortcuts:
← / → for pages • + / - for zoom • 0 to fit width
Powered by Mozilla PDF.js v3.11
Document Information
| Document Title | Concrete Semantics: With Isabelle/HOL |
|---|---|
| Author / Organization | Tobias Nipkow, Gerwin Klein |
| Subject & Discipline | Semantics & Computational Semantics, Theory of Programming Languages, Computational Linguistics and Natural Language Processing, Applied Mathematics |
| Categories | Semantics & Computational Semantics |
| Publication Year | 2014 |
| ISBN | 3319105418 |
| Resource Verification | ✓ Verified Direct PDF Available |
| Original Host Website |
FreeComputerBooks.com
(freecomputerbooks.com)
|
| File Format | application/pdf (Portable Document Format) |
| Reported File Size | 892.5 KB (913,883 bytes) |
| Language | ENGLISH |
| Catalog ID | DOC-76532 |
| Original Source Link | Visit Source Page on freecomputerbooks.com » |
Commercial / Print Edition
Prefer a Physical Book or Kindle Edition?
Concrete Semantics: With Isabelle/HOL • Print Edition
As an Amazon Associate, MainReads earns from qualifying purchases.