Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Concrete Semantics

Concrete Semantics

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783319105413
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

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