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

£47.06

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

Name: Proof in V.D.M.: Case Studies (Formal Approaches to Computing and Information Technology (FACIT))
Brand: Springer
Price: 47.06 GBP
Availability: InStock

Compilers

It has never been this cheap. We have no record of a lower price.

£47 today · cheaper than every other day in the last 3 months

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 42 days • 42 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 42 days • 6 price levels

Days at Price

Current Price

Price Analysis

Most common price: £58 (11 days, 26.2%)

Price range: £47 - £65

Price levels: 6 different prices over 42 days

Description

This volume provides an invaluable companion to Proof in VDM: A Practitioner's Guide. Using the proof theory presented in that volume, it examines a variety of realistic case studies which illustrate different aspects of the use of proof in formal development. Rather than concentrating on the construction of formal specifications (like most work in this area), it devotes two chapters to validation using proof, describing how proofs in VDM can be constructed via instantiations of the PVS and Isabelle theorem provers. Proof in VDM: Case Studies will provide invaluable reference material for practitioners of formal methods who need to construct proofs, students requiring a detailed introduction to the practicalities of proof, and researchers interested in the role of theorem proving in formal development and relevant tool support.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3540761861
Category: Books > Subjects > Computing & Internet > Programming > Compilers
Domain: Amazon UK
Release Date: 01 January 1998
Listed Since: 16 December 2006

Barcode

No barcode data available

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

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)

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

Proof Theory and Logic Programming: Computation as Proof Search

Proof Analysis: A Contribution to Hilbert's Last Problem

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

Proof and Computation: 139 (NATO ASI Subseries F:, 139)

Handbook of Proof Theory (Volume 137) (Studies in Logic and the Foundations of Mathematics, Volume 137)

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

Logical Foundations of Proof Complexity (Perspectives in Logic)

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

Proofs and Computations (Perspectives in Logic)

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

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

Understanding Mathematical Proof

How to Prove It: A Structured Approach

Limits of Mathematics: A Journey Through the Key Areas of Mathematical Logic: 19 (Mathematics Study Resources, 19)

Proof and Disproof in Formal Logic: An Introduction for Programmers: 2 (Oxford Texts in Logic)

Proof Complexity Generators: Series Number 497 (London Mathematical Society Lecture Note Series, Series Number 497)

Logic and Structure (Universitext)

Derivation and Computation: Taking the Curry-Howard Correspondence Seriously: 51 (Cambridge Tracts in Theoretical Computer Science, Series Number 51)

Proof Complexity: 170 (Encyclopedia of Mathematics and its Applications, Series Number 170)

Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems: A Course with Exercises Part I: Propositional Calculus, ... Completeness Theorems (Mathematical Logic)