£62.17

Springer Automatic Program Development: A Tribute to Robert Paige

Price data checked 2 days ago

View at Amazon

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

Cheaper than 37% of the days we've watched it. Below what most people pay.

£62 today · 30-day average £66 · all-time low £54

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 89 days • 89 data points

Historical
Generating forecast...
£74.02 £52.00 £56.80 £61.61 £66.41 £71.22 £76.02 19 February 2026 13 March 2026 04 April 2026 26 April 2026 18 May 2026

Price Distribution

Price distribution over 89 days • 6 price levels

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

Price Analysis

Most common price: £60 (27 days, 30.3%)

Price range: £54 - £74

Price levels: 6 different prices over 89 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

£107.86 18 May 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
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 18 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.37 18 May 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 11 May 2026
Deductive Program Design: 152 (NATO ASI Subseries F:, 152)
74% match

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

Springer

£149.64 11 May 2026
Algebraic Approaches to Program Semantics (Monographs in Computer Science)
74% match

Algebraic Approaches to Program Semantics (Monographs in Computer Science)

Springer

£64.54 18 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 18 May 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.92 11 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 18 May 2026
Multiprocessor Execution of Logic Programs
73% match

Multiprocessor Execution of Logic Programs

Springer

£107.27 18 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 18 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 18 May 2026
A Code Mapping Scheme for Dataflow Software Pipelining: 125 (The Springer International Series in Engineering and Computer Science, 125)
73% match

A Code Mapping Scheme for Dataflow Software Pipelining: 125 (The Springer International Series in Engineering and Computer Science, 125)

Springer

£74.05 18 May 2026
Pi: The Next Generation: A Sourcebook on the Recent History of Pi and Its Computation
73% match

Pi: The Next Generation: A Sourcebook on the Recent History of Pi and Its Computation

Springer

£65.35 04 May 2026
Dependence Analysis: 3 (Loop Transformation for Restructuring Compilers, 3)
73% match

Dependence Analysis: 3 (Loop Transformation for Restructuring Compilers, 3)

Springer

£107.98 18 May 2026
Parallel Machines: Parallel Machine Languages: The Emergence of Hybrid Dataflow Computer Architectures: 96 (The Springer International Series in Engineering and Computer Science, 96)
73% match

Parallel Machines: Parallel Machine Languages: The Emergence of Hybrid Dataflow Computer Architectures: 96 (The Springer International Series in Engineering and Computer Science, 96)

Springer

£107.20 18 May 2026
Industrial Robots Programming: Building Applications for the Factories of the Future
73% match

Industrial Robots Programming: Building Applications for the Factories of the Future

Springer

£69.34 18 May 2026
Formal Methods for Open Object-based Distributed Systems: Volume 1 (IFIP Advances in Information and Communication Technology)
73% match

Formal Methods for Open Object-based Distributed Systems: Volume 1 (IFIP Advances in Information and Communication Technology)

Springer

£156.00 18 May 2026
Patterns, Programming and Everything
73% match

Patterns, Programming and Everything

Springer

£74.41 18 May 2026
Parallel Computation and Computers for Artificial Intelligence: 26 (The Springer International Series in Engineering and Computer Science, 26)
73% match

Parallel Computation and Computers for Artificial Intelligence: 26 (The Springer International Series in Engineering and Computer Science, 26)

Springer

£108.71 18 May 2026
Biologically Inspired Robot Behavior Engineering: 109 (Studies in Fuzziness and Soft Computing, 109)
73% match

Biologically Inspired Robot Behavior Engineering: 109 (Studies in Fuzziness and Soft Computing, 109)

Springer

£107.98 18 May 2026
Programming with Higher-Order Logic
73% match

Programming with Higher-Order Logic

Cambridge University Press

£32.17 18 May 2026