£75.51

Springer Automatic Program Development: A Tribute to Robert Paige

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

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.

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

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 18 days · 18 data points (no recent data)

Historical
Generating forecast…
£75.51 £75.04 £75.14 £75.24 £75.35 £75.45 £75.55 08 July 2026 12 July 2026 16 July 2026 20 July 2026 25 July 2026

Price Distribution

Price distribution over 18 days • 1 price levels

Days at Price
18 days 0 5 9 14 18 £75 Days at Price

Price Analysis

Most common price: £75 (18 days, 100.0%)

Price range: £75 - £75

Price levels: 1 different prices over 18 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.22 08 Sep 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.83 24 Sep 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.42 13 Aug 2026
Programming Language Explorations
95% match

Programming Language Explorations

Chapman and Hall/CRC

£139.32 24 Sep 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

£112.08 01 Oct 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.42 03 Oct 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 23 Sep 2026
Programming Language Explorations
95% match

Programming Language Explorations

Chapman and Hall/CRC

£51.29 27 Aug 2026
Principles of Program Analysis
95% match

Principles of Program Analysis

Springer

£44.37 03 Oct 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

£118.20 05 Oct 2026
Programming Languages: Principles and Paradigms (Undergraduate Topics in Computer Science)
95% match

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

Springer

£40.51 10 Sep 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

£73.56 22 Jul 2026
The French School of Programming
95% match

The French School of Programming

Springer

£100.40 06 Oct 2026
Theories of Programming Languages
95% match

Theories of Programming Languages

Cambridge University Press

£70.00 01 Oct 2026
Theories of Programming Languages
95% match

Theories of Programming Languages

Cambridge University Press

£61.75 01 Oct 2026
Programming Language Design and Implementation - Springer Textbook
95% match

Programming Language Design and Implementation - Springer Textbook

Springer

£48.58 21 Jul 2026
Introduction to Programming Languages
95% match

Introduction to Programming Languages

CRC Press

£184.58 18 Aug 2026
Springer - A Science of Operations: History of Computing Book
95% match

Springer - A Science of Operations: History of Computing Book

Springer

£117.50 03 Oct 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.28 06 Oct 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 04 Aug 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

£93.91 05 Sep 2026
Introduction to Programming Languages
95% match

Introduction to Programming Languages

CRC Press

£71.42 19 Jul 2026
Programming Logic & Design, Comprehensive
95% match

Programming Logic & Design, Comprehensive

Cengage Learning

£44.60 20 Jul 2026
Understanding Programming Languages
95% match

Understanding Programming Languages

Springer

£50.91 30 Sep 2026