£76.42

Springer Automatic Program Development: A Tribute to Robert Paige

Price data last checked 49 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 £76

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

Historical
Generating forecast…
£76.42 £76.38 £76.39 £76.40 £76.40 £76.41 £76.42 28 June 2026 08 July 2026 18 July 2026 28 July 2026 08 August 2026

Price Distribution

Price distribution over 42 days • 1 price levels

Days at Price
42 days 0 11 21 32 42 £76 Days at Price

Price Analysis

Most common price: £76 (42 days, 100.0%)

Price range: £76 - £76

Price levels: 1 different prices over 42 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

£109.82 07 Aug 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.18 04 Aug 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

£108.01 25 Jul 2026
Programming Methodology (Monographs in Computer Science)
75% match

Programming Methodology (Monographs in Computer Science)

Springer

£80.30 30 Aug 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.76 06 Aug 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

£76.71 08 Aug 2026
Automated Planning: Theory & Practice
75% match

Automated Planning: Theory & Practice

Elsevier

£63.99 31 Aug 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.42 07 Aug 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

£108.01 04 Aug 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.72 08 Aug 2026
Deductive Program Design: 152 (NATO ASI Subseries F:, 152)
74% match

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

Springer

£147.14 05 Aug 2026
IPA ― Concepts and Applications in Engineering (Decision Engineering)
74% match

IPA ― Concepts and Applications in Engineering (Decision Engineering)

Springer

£74.46 07 Aug 2026
Algebraic Approaches to Program Semantics (Monographs in Computer Science)
74% match

Algebraic Approaches to Program Semantics (Monographs in Computer Science)

Springer

£64.57 05 Aug 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 06 Aug 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

£50.25 07 Aug 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

£74.61 04 Aug 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.42 06 Aug 2026
Systematic Program Design: From Clarity to Efficiency
74% match

Systematic Program Design: From Clarity to Efficiency

Cambridge University Press

£10.09 22 Aug 2026
Multiprocessor Execution of Logic Programs
73% match

Multiprocessor Execution of Logic Programs

Springer

£108.01 06 Aug 2026
New Computational Paradigms: Changing Conceptions of What is Computable
73% match

New Computational Paradigms: Changing Conceptions of What is Computable

Springer

£109.08 06 Aug 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 08 Aug 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

£108.01 07 Aug 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

£108.01 08 Aug 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.85 10 Aug 2026