Concrete Semantics: With Isabelle/HOL - Image 1

£43.31

Springer Concrete Semantics: With Isabelle/HOL

Name: Concrete Semantics: With Isabelle/HOL
Brand: Springer
Price: 43.31 GBP
Availability: InStock

Compilers

This is the most expensive it has ever been. Walk away.

£43 today · previous high £43 · all-time low £41

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 65 days · 65 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 65 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £41 (43 days, 66.2%)

Price range: £41 - £43

Price levels: 3 different prices over 65 days

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 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.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 331935759X
Category: Books > Subjects > Computing & Internet > Programming > Compilers
Domain: Amazon UK
Release Date: 10 September 2016
Listed Since: 01 September 2016

Barcode

No barcode data available

Springer Concrete Semantics: With Isabelle/HOL

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Concrete Semantics: With Isabelle/HOL

Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Transitions and Trees: An Introduction to Structural Operational Semantics

Proof and System-Reliability: v. 62 (NATO Science Series II)

Transitions and Trees: An Introduction to Structural Operational Semantics

Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)

Understanding Programming Languages

NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings: 12229 (Lecture Notes in Computer Science, 12229)

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)

Reflections on the Work of C.A.R. Hoare

Logic and Structure (Universitext)

Springer - Logics of Specification Languages Monograph

Proof Theory and Logic Programming: Computation as Proof Search

Proof in V.D.M.: Case Studies (Formal Approaches to Computing and Information Technology (FACIT))

Lectures on the Curry-Howard Isomorphism

Computing in Horn Clause Theories: 16 (Monographs in Theoretical Computer Science. An EATCS Series, 16)

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

Computational Logic: 165 (NATO ASI Subseries F:, 165)

Clause and Effect: Prolog Programming for the Working Programmer

Functional Data Structures and Algorithms: A Proof Assistant Approach

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results