£75.33

Springer Automatic Program Development: A Tribute to Robert Paige

Price data last checked 18 day(s) ago - will refresh soon

View at Amazon

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

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

£75 today · previous high £75 · all-time low £73

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

Historical
Generating forecast...
£75.33 £73.04 £73.54 £74.04 £74.54 £75.04 £75.54 22 February 2026 12 March 2026 30 March 2026 17 April 2026 05 May 2026

Price Distribution

Price distribution over 73 days • 2 price levels

Days at Price
Current Price
19 days 54 days · current 0 14 27 41 54 £73 £75 Days at Price

Price Analysis

Most common price: £75 (54 days, 74.0%)

Price range: £73 - £75

Price levels: 2 different prices over 73 days

Description

“Automatic Program Development” is a tribute to Robert Paige (1947-1999), our accomplished and respected colleague, and moreover our good friend, whose untimely passing was a loss to our academic and research community. We have collected the revised, updated versions of the papers published in his honor in the Higher-Order and Symbolic Computation Journal in the years 2003 and 2005. Among them there are two papers by Bob: (i) a retrospective view of his research lines, and (ii) a proposal for future studies in the area of the automatic program derivation. The book also includes some papers by members of the IFIP Working Group 2.1 of which Bob was an active member. All papers are related to some of the research interests of Bob and, in particular, to the transformational development of programs and their algorithmic derivation from formal specifications. “Automatic Program Development” offers a renewed stimulus for continuing and deepening Bob's research visions. A familiar touch is given to the book by some pictures kindly provided to us by his wife Nieba, the personal recollections of his brother Gary and some of his colleagues and friends.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
19 October 2010
Listed Since
20 September 2010

Barcode

No barcode data available

Similar Products You Might Like

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and ... Greece, April 14-20, 2018, Proceedings
95% match

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and ... Greece, April 14-20, 2018, Proceedings

Saint Philip Street Press

£75.99 16 Feb 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)
95% 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
Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques (Advanced Information and Knowledge Processing)
95% match

Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques (Advanced Information and Knowledge Processing)

Springer

£78.00 08 Jan 2026
Programming Language Explorations
95% match

Programming Language Explorations

Chapman and Hall/CRC

£115.00 09 Mar 2026
Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)
95% match

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

Springer

£113.25 12 Apr 2026
Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques (Advanced Information and Knowledge Processing)
95% match

Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques (Advanced Information and Knowledge Processing)

Springer

£76.02 20 Apr 2026
Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization: 2628 (Lecture Notes in Computer Science, 2628)
95% match

Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization: 2628 (Lecture Notes in Computer Science, 2628)

Springer

£44.99 07 Mar 2026
Programming Language Explorations
95% match

Programming Language Explorations

Chapman and Hall/CRC

£46.91 31 Jan 2026
Principles of Program Analysis
95% match

Principles of Program Analysis

Springer

£36.29 19 Apr 2026
Concepts and Semantics of Programming Languages 2: Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java
95% match

Concepts and Semantics of Programming Languages 2: Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java

Wiley

£114.25 23 Apr 2026
Programming Languages: Principles and Paradigms (Undergraduate Topics in Computer Science)
95% match

Programming Languages: Principles and Paradigms (Undergraduate Topics in Computer Science)

Springer

£42.67 18 Feb 2026
A Knowledge-Based Approach to Program Understanding: 325 (The Springer International Series in Engineering and Computer Science, 325)
95% match

A Knowledge-Based Approach to Program Understanding: 325 (The Springer International Series in Engineering and Computer Science, 325)

Springer

£75.23 30 Apr 2026
The French School of Programming
95% match

The French School of Programming

Springer

£115.99 25 Apr 2026
Theories of Programming Languages
95% match

Theories of Programming Languages

Cambridge University Press

£68.79 12 Apr 2026
Theories of Programming Languages
95% match

Theories of Programming Languages

Cambridge University Press

£57.99 14 Apr 2026
Springer Programming Language Design and Implementation Book
95% match

Springer Programming Language Design and Implementation Book

Springer

£47.08 29 Apr 2026
Introduction to Programming Languages
95% match

Introduction to Programming Languages

CRC Press

£166.98 12 Jan 2026
Springer - A Science of Operations: History of Computing Book
95% match

Springer - A Science of Operations: History of Computing Book

Springer

£115.33 21 Apr 2026
Formal Methods, Informally: How to Write Programs That Work
95% match

Formal Methods, Informally: How to Write Programs That Work

Cambridge University Press

£36.32 26 Apr 2026
Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)
95% match

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

Springer

£87.89 18 May 2026
A Science of Operations: Machines, Logic and the Invention of Programming (History of Computing)
95% match

A Science of Operations: Machines, Logic and the Invention of Programming (History of Computing)

Springer

£100.91 10 Feb 2026
Introduction to Programming Languages
95% match

Introduction to Programming Languages

CRC Press

£72.97 27 Apr 2026
Programming Logic & Design, Comprehensive
95% match

Programming Logic & Design, Comprehensive

Cengage Learning

£41.41 28 Apr 2026
Understanding Programming Languages
95% match

Understanding Programming Languages

Springer

£53.52 06 Apr 2026