Constructing Correct Software (Formal Approaches to Computing and Information Technology,) - Image 1

£44.81

Springer Constructing Correct Software (Formal Approaches to Computing and Information Technology,)

Name: Constructing Correct Software (Formal Approaches to Computing and Information Technology,)
Brand: Springer
Price: 44.81 GBP
Availability: InStock

Languages

This is the usual price. Wait for it to drop, or tell us your number.

£45 today · usual range £0–£0 · best ever £33

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

Historical

Generating forecast...

Price Distribution

Price distribution over 495 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £45 (348 days, 70.3%)

Price range: £33 - £45

Price levels: 4 different prices over 495 days

Description

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. This theorem is the goal of traditional program testing and, more recently, of program verification (in which the theorem must be proved). Proofs are difficult, though even with the use of powerful theorem provers. This volume explains and illustrates an alternative method, which allows the construction of (necessarily correct) algorithms from a specification using algebraic transformations and refinement techniques which prevent the introduction of errors. Based on teaching material used extensively at Loughborough University, John Cooke introduces the basics, using simple examples and lots of detailed working (which can often be re-used). Constructing Correct Software will provide invaluable reading for students and practitioners of Computer Science and Software Engineering to whom correctness of software is of prime importance.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 1852338202
Category: Books > Subjects > Computing & Internet > Programming > Languages
Domain: Amazon UK
Release Date: 08 November 2004
Listed Since: 22 January 2007

Barcode

No barcode data available

Springer Constructing Correct Software (Formal Approaches to Computing and Information Technology,)

This is the usual price. Wait for it to drop, or tell us your number.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Provably Correct Systems (NASA Monographs in Systems and Software Engineering)

Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct ... 863 (Lecture Notes in Computer Science, 863)

Clean Code: A Handbook of Agile Software Craftsmanship (Robert C. Martin Series)

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday: 13360 (Lecture Notes in Computer Science, 13360)

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

Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)

Formal Methods: State of the Art and New Directions

Specifying Software: A Hands-On Introduction

Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)

Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 ― December 1, 2017, Proceedings: 10623 (Lecture Notes in Computer Science, 10623)

Programming and Mathematical Method: International Summer School: 88 (NATO ASI Subseries F:, 88)

Tool Support for System Specification, Development and Verification (Advances in Computing Sciences)

Program Verification: Fundamental Issues in Computer Science: 14 (Studies in Cognitive Systems, 14)

Systems and Software Verification: Model-Checking Techniques and Tools

Code Generation, Analysis Tools, and Testing for Quality (Advances in Computer and Electrical Engineering (ACEE))

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

GCSE Computer Science OCR Revision Guide includes Online Edition, Videos & Quizzes: perfect for the 2026 and 2027 exams (CGP OCR GCSE Computer Science)

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised ... (Lecture Notes in Computer Science, 5902)

Software Verification Based on Game Semantics and Process Algebra: A Game Semantic Framework for Verifying Safety Properties of Open Programs

The Calculus of Computation: Decision Procedures with Applications to Verification

QED at Large: A Survey of Engineering of Formally Verified Software (Foundations and Trends® in Programming Languages)

Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected ... (Lecture Notes in Computer Science, 10712)

NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings: 11460 (Lecture Notes in Computer Science, 11460)

Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification