£62.47

Springer Automatic Program Development: A Tribute to Robert Paige

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

View at Amazon

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

About as cheap as it gets. The only time it was cheaper was 3 months ago.

£62 today · all-time low £60 (Apr 2026) · usually the usual

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

Historical
Generating forecast...
£74.02 £58.76 £62.09 £65.42 £68.75 £72.08 £75.41 06 April 2026 20 April 2026 05 May 2026 20 May 2026 04 June 2026

Price Distribution

Price distribution over 60 days • 4 price levels

Days at Price
Current Price
10 days 27 days · current 11 days 12 days 0 7 14 20 27 £60 £62 £63 £74 Days at Price

Price Analysis

Most common price: £62 (27 days, 45.0%)

Price range: £60 - £74

Price levels: 4 different prices over 60 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
hardcover
Domain
Amazon UK
Release Date
08 January 2008
Listed Since
01 August 2007

Barcode

No barcode data available

Similar Products You Might Like

Theory of Automatic Robot Assembly and Programming
77% match

Theory of Automatic Robot Assembly and Programming

Springer

£108.76 01 Jun 2026
Probabilistic Approaches to Robotic Perception: 91 (Springer Tracts in Advanced Robotics, 91)
76% match

Probabilistic Approaches to Robotic Perception: 91 (Springer Tracts in Advanced Robotics, 91)

Springer

£76.01 20 May 2026
Software Automatic Tuning: From Concepts to State-of-the-Art Results
75% match

Software Automatic Tuning: From Concepts to State-of-the-Art Results

Springer

£104.80 04 May 2026
Programming Methodology (Monographs in Computer Science)
75% match

Programming Methodology (Monographs in Computer Science)

Springer

£84.55 01 Jun 2026
Rule-Based Programming: 369 (The Springer International Series in Engineering and Computer Science, 369)
75% match

Rule-Based Programming: 369 (The Springer International Series in Engineering and Computer Science, 369)

Springer

£117.19 27 May 2026
Automated Reasoning: Essays in Honor of Woody Bledsoe: 1 (Automated Reasoning Series, 1)
75% match

Automated Reasoning: Essays in Honor of Woody Bledsoe: 1 (Automated Reasoning Series, 1)

Springer

£75.98 04 Jun 2026
Automated Planning: Theory & Practice
75% match

Automated Planning: Theory & Practice

Morgan Kaufmann

£63.99 14 Jun 2026
Generic Programming: IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany: 115 (IFIP Advances in Information and Communication Technology, 115)
75% match

Generic Programming: IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany: 115 (IFIP Advances in Information and Communication Technology, 115)

Springer

£76.38 01 Jun 2026
Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel: 19 (Applied Logic Series, 19)
74% match

Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel: 19 (Applied Logic Series, 19)

Springer

£105.94 22 May 2026
Einsatz neuer Mensch-Maschine-Schnittstellen für Robotersimulation und -programmierung: 256 (IPA-IAO - Forschung und Praxis, 256)
74% match

Einsatz neuer Mensch-Maschine-Schnittstellen für Robotersimulation und -programmierung: 256 (IPA-IAO - Forschung und Praxis, 256)

Springer

£43.61 04 Jun 2026
Deductive Program Design: 152 (NATO ASI Subseries F:, 152)
74% match

Deductive Program Design: 152 (NATO ASI Subseries F:, 152)

Springer

£149.64 24 May 2026
IPA ― Concepts and Applications in Engineering (Decision Engineering)
74% match

IPA ― Concepts and Applications in Engineering (Decision Engineering)

Springer

£73.75 01 Jun 2026
Algebraic Approaches to Program Semantics (Monographs in Computer Science)
74% match

Algebraic Approaches to Program Semantics (Monographs in Computer Science)

Springer

£64.54 26 May 2026
Soft Computing Agents: New Trends for Designing Autonomous Systems: 75 (Studies in Fuzziness and Soft Computing, 75)
74% match

Soft Computing Agents: New Trends for Designing Autonomous Systems: 75 (Studies in Fuzziness and Soft Computing, 75)

Physica

£73.85 27 May 2026
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
74% match

Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)

Springer

£39.06 01 Jun 2026
Advanced Debugging Methods: 568 (The Springer International Series in Engineering and Computer Science, 568)
74% match

Advanced Debugging Methods: 568 (The Springer International Series in Engineering and Computer Science, 568)

Springer

£73.31 21 May 2026
Automated Design of Analog and High-frequency Circuits: A Computational Intelligence Approach: 501 (Studies in Computational Intelligence, 501)
74% match

Automated Design of Analog and High-frequency Circuits: A Computational Intelligence Approach: 501 (Studies in Computational Intelligence, 501)

Springer

£76.38 27 May 2026
Systematic Program Design: From Clarity to Efficiency
74% match

Systematic Program Design: From Clarity to Efficiency

Cambridge University Press

£10.09 19 Jun 2026
Multiprocessor Execution of Logic Programs
73% match

Multiprocessor Execution of Logic Programs

Springer

£107.98 27 May 2026
New Computational Paradigms: Changing Conceptions of What is Computable
73% match

New Computational Paradigms: Changing Conceptions of What is Computable

Springer

£108.92 28 May 2026
Generating Abstraction Hierarchies: An Automated Approach to Reducing Search in Planning: 214 (The Springer International Series in Engineering and Computer Science, 214)
73% match

Generating Abstraction Hierarchies: An Automated Approach to Reducing Search in Planning: 214 (The Springer International Series in Engineering and Computer Science, 214)

Springer

£113.76 04 Jun 2026
Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification
73% match

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

Springer

£106.92 03 Jun 2026
Autonomous Systems: Developments and Trends: 391 (Studies in Computational Intelligence, 391)
73% match

Autonomous Systems: Developments and Trends: 391 (Studies in Computational Intelligence, 391)

Springer

£107.98 06 Jun 2026
Intelligent Computer Systems in Engineering Design: Principles and Applications: 51 (Studies in Systems, Decision and Control, 51)
73% match

Intelligent Computer Systems in Engineering Design: Principles and Applications: 51 (Studies in Systems, Decision and Control, 51)

Springer

£73.82 08 Jun 2026