£55.00

Oxford University Press Computer Program Construction

Price data last checked 90 day(s) ago - refreshing...

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

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

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

Historical
Generating forecast...
Not enough data points to display chart (need at least 2 points)

Price Distribution

Price distribution over 1 days • 1 price levels

Days at Price
1 day 0 0 1 1 1 £55 Days at Price

Price Analysis

Most common price: £55 (1 days, 100.0%)

Price range: £55 - £55

Price levels: 1 different prices over 1 days

Description

This book presents a comprehensive treatment of the process of constructing computer programs through stepwise resolutions of relational equations. Unlike other books that take a logic-based approach to the topic, the authors derive constructive solutions to these equations by means of programming heuristics, three classes of which are presented in detail; sequence heuristics, iteration heuristics, and generalization heuristics. The authors are the leaders in this field and their experience is wonderfully showcased in this definitive introduction to the subject.

Product Specifications

Format
Hardcover
Domain
Amazon UK
Release Date
01 September 1994
Listed Since
14 December 2006

Barcode

No barcode data available

Similar Products You Might Like

Program Construction: Calculating Implementations from Specifications
95% match

Program Construction: Calculating Implementations from Specifications

Wiley

£38.04 10 Feb 2026
COMPUTER PROGRAMMING - AN ALGORITHMIC APPROACH: Algorithmic Programming
94% match

COMPUTER PROGRAMMING - AN ALGORITHMIC APPROACH: Algorithmic Programming

LAP Lambert Academic Publishing

£69.00 01 Apr 2026
Programming Logic and Design: Introductory (with Videos Printed Access Card)
94% match

Programming Logic and Design: Introductory (with Videos Printed Access Card)

Cengage Learning

£90.99 15 Feb 2026
Programming and Problem Solving with Ada 95
94% match

Programming and Problem Solving with Ada 95

Jones & Bartlett Learning

£141.00 10 Mar 2026
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, ... (Lecture Notes in Computer Science, 2297)
94% match

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, ... (Lecture Notes in Computer Science, 2297)

Springer

£44.56 08 Mar 2026
Logic Program Synthesis from Incomplete Information: 295 (The Springer International Series in Engineering and Computer Science, 295)
94% match

Logic Program Synthesis from Incomplete Information: 295 (The Springer International Series in Engineering and Computer Science, 295)

Springer

£110.49 12 Jan 2026
Logic Program Synthesis from Incomplete Information: 295 (The Springer International Series in Engineering and Computer Science, 295)
94% match

Logic Program Synthesis from Incomplete Information: 295 (The Springer International Series in Engineering and Computer Science, 295)

Springer

£117.00 12 Jan 2026
Programming Logic and Design: Comprehensive (with Videos Printed Access Card)
94% match

Programming Logic and Design: Comprehensive (with Videos Printed Access Card)

Cengage Learning

£43.25 11 Mar 2026
Formal and Adaptive Methods for Automation of Parallel Programs Construction: Emerging Research and Opportunities (Advances in Systems Analysis, Software Engineering, and High Performance Computing)
94% match

Formal and Adaptive Methods for Automation of Parallel Programs Construction: Emerging Research and Opportunities (Advances in Systems Analysis, Software Engineering, and High Performance Computing)

IGI Global

£183.38 11 Jan 2026
Innovative Teaching Strategies and New Learning Paradigms in Computer Programming (Advances in Higher Education and Professional Development:)
94% match

Innovative Teaching Strategies and New Learning Paradigms in Computer Programming (Advances in Higher Education and Professional Development:)

Information Science Reference

£164.04 03 Apr 2026
Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)
94% match

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

Springer

£113.25 12 Apr 2026
Programming and Mathematical Method: International Summer School: 88 (NATO ASI Subseries F:, 88)
94% match

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

Springer

£77.89 11 Apr 2026
Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and ... (Lecture Notes in Computer Science, 2986)
94% match

Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and ... (Lecture Notes in Computer Science, 2986)

Springer

£103.89 09 Mar 2026
Exploring Computer Science with Scheme (Undergraduate Texts in Computer Science)
94% match

Exploring Computer Science with Scheme (Undergraduate Texts in Computer Science)

Springer

£28.54 11 Mar 2026
Starting Out with Programming Logic and Design
94% match

Starting Out with Programming Logic and Design

PEARSON EDUCATION

£116.83 23 Jan 2026
Novice Programming Environments: Explorations in Human-Computer Interaction and Artificial Intelligence (Routledge Library Editions: Artificial Intelligence)
94% match

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

Routledge

£114.69 18 Mar 2026
Principles of Program Analysis
94% match

Principles of Program Analysis

Springer

£36.29 19 Apr 2026
Compiler Construction Using Java, JavaCC, and Yacc
94% match

Compiler Construction Using Java, JavaCC, and Yacc

John Wiley & Sons Inc

£77.00 16 Feb 2026
Springer Parallel and Constraint Logic Programming Book 876
94% match

Springer Parallel and Constraint Logic Programming Book 876

Springer

£113.92 18 Apr 2026
Essentials of Programming Languages 3e (OIP) (The MIT Press)
94% match

Essentials of Programming Languages 3e (OIP) (The MIT Press)

MIT Press

£70.00 25 Jan 2026
Designing Computer Programs
94% match

Designing Computer Programs

Butterworth-Heinemann

£43.99 13 Apr 2026
Programming in the 1990s: An Introduction to the Calculation of Programs (Monographs in Computer Science)
94% match

Programming in the 1990s: An Introduction to the Calculation of Programs (Monographs in Computer Science)

Springer

£41.38 07 Mar 2026
Simple Program Design, A Step-by-Step Approach, Fifth Edition
94% match

Simple Program Design, A Step-by-Step Approach, Fifth Edition

Cengage Learning

£46.47 16 Mar 2026
Programming Logic and Design (Mindtap Course List)
94% match

Programming Logic and Design (Mindtap Course List)

Cengage Learning

£66.23 11 Mar 2026