Refinement Calculus: A Systematic Introduction (Texts in Computer Science) - Image 1

£91.68

Springer Refinement Calculus: A Systematic Introduction (Texts in Computer Science)

Name: Refinement Calculus: A Systematic Introduction (Texts in Computer Science)
Brand: Springer
Price: 91.68 GBP
Availability: InStock

9780387984179

Architecture & Microprocessors

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

£92 today · previous high £92 · all-time low £85

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

Historical

Generating forecast...

Price Distribution

Price distribution over 46 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £86 (27 days, 58.7%)

Price range: £85 - £92

Price levels: 3 different prices over 46 days

Description

Much current research in computer science is concerned with two questions: is a program correct? And how can we improve a correct program preserving correctness? This latter question is known as the refinement of programs and the purpose of this book is to consider these questions in a formal setting. In fact, correctness turns out to be a special case of refinement and so the focus is on refinement. Although a reasonable background knowledge is assumed from mathematics and CS, the book is a self-contained introduction suitable for graduate students and researchers coming to this subject for the first time. There are numerous exercises provided of varying degrees of challenge.

Product Specifications

Brand: Springer
Model: 9780387984179
Format: paperback
ASIN: 0387984178
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Publication Date: 13 April 1998
Listed Since: 10 December 2006

Barcode

No barcode data available

Springer Refinement Calculus: A Systematic Introduction (Texts in Computer Science)

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

Springer Program Development by Refinement - B Method Book

Preparation for Calculus: Functions and How They Change

Advanced Calculus for Economics and Finance: Theory and Methods (Classroom Companion: Economics)

Finite Mathematics: AND Applied Calculus

Introduction to Calculus and Analysis II/1: 2 (Classics in Mathematics)

The Calculus of Computation: Decision Procedures with Applications to Verification

Refinement in Z and Object-Z: Foundations and Advanced Applications

Calculus Renewal: Issues for Undergraduate Mathematics Education in the Next Decade

Calculus for the AP® Course

Introduction to Calculus and Analysis II/2: Chapters 5 - 8: 002 (Classics in Mathematics)

Formal Methods, Informally: How to Write Programs That Work

Applied Calculus, EMEA Edition

Programming in C++ for Engineering and Science

Novice Programming Environments: Explorations in Human-Computer Interaction and Artificial Intelligence (Routledge Library Editions: Artificial Intelligence)

Functions Modeling Change: A Preparation for Calculus

Advanced Calculus with Applications in Statistics: 360 (Wiley Series in Probability and Statistics)

Calculus: Pearson New International Edition

Calculus

Calculus for the AP® Course

Precalculus: Practice Problems, Methods, and Solutions

Calculus I with Precalculus: A One-year Course (Textbooks Available with Cengage Youbook)

Precalculus: Functions and Graphs, Enhanced Edition

Precalculus: Mathematics for Calculus (High School Edition)

Precalculus Student Solution Manual: Mathematics for Calculus