Copied Concrete Semantics
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 Isabelles 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 Isabelles 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.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Engineering and Medicine in Extreme Environments
$199.99
Drosophila
$109.00
Principles of Statistical Genomics
$54.99
Neutrinos, Dunkle Materie und Co
$17.99
Drugs from Nature: Targets, Assay Systems and Leads
$169.99
Highlights of Spanish Astrophysics II
$169.99
Miss Fox: Peace Week in Miss Fox's Class
$6.71
Pdiatrische Palliativversorgung Schmerzbehandlung und Symptomkontrolle
$69.99
Diarrhea and Malnutrition
$39.99
Rubrics a tool for feedback and assessment viewed from different perspectives
$69.99
Non-Fungible Tokens (NFTs)
$34.99
Recht ex machina
$99.99
Applied Geography
$169.99
Irland
$4.99
Springer Tracts in Modern Physics 30
$54.99
Finding Culture in Talk
$54.99
Microbial BioEnergy: Hydrogen Production
$219.99
Implanted Antennas in Medical Wireless Communications
$29.99
Azure Arc-Enabled Data Services Revealed
$29.99
Die Grundlagen der Flugsicherung
$84.99
Informatik fr Wirtschaft und Verwaltung
$59.99
Embryology and Teratology of the Heart and the Great Arteries
$109.99
Flexibility and Commitment in Planning
$169.00
Analysen fr Chalkogenid-Dnnschicht-Solarzellen
$69.99
Hydraulische Steuerungen
$69.99
Provable Security
$39.99
National Geographic Kids: Explore My World: Penguins
$3.71
Cornerstones of Freedom-Third Series: Environmental Protection
$6.71
Advances in Artificial Intelligence
$54.99
The World Trade Organization and the Environment
$109.99
Imaging Brain Diseases
$259.00
Educational Governance
$49.99
The Convention on Biological Diversity and Developing Countries
$169.99
EconomyEnergyEnvironment Simulation
$129.00
Examens-Fragen Physiologie
$69.99
Empowering Learners for Life in the Digital Age
$39.99
Operational Research for Emergency Planning in Healthcare: Volume 2
$109.99
China Satellite Navigation Conference (CSNC) 2014 Proceedings: Volume I
$259.00
Neuausrichtung des Finanzdienstleistungsmarketings
$69.99
