£44.99

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

£45 today · previous high £45 · all-time low £45

Springer Specification and Transformation of Programs: A Formal Approach to Software Development (Monographs in Computer Science)

Amazon

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 61 days · 61 data points (no recent data)

Historical
Generating forecast…
£44.99 £44.52 £44.62 £44.72 £44.83 £44.93 £45.03 25 July 2026 09 August 2026 24 August 2026 08 September 2026 23 September 2026
View at Amazon ↗

44 black & white illustrations

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

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 Distribution

Price distribution over 61 days • 1 price levels

Days at Price
61 days 0 15 31 46 61 £45 Days at Price

Price Analysis

Most common price: £45 (61 days, 100.0%)

Price range: £45 - £45

Price levels: 1 different prices over 61 days

Description

"Specification and transformation of programs" is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that problem are constructed by stepwise application of formal, semantics-preserving transformation rules. The approach considers programming as a formal activity. Consequently, it requires some mathematical maturity and, above all, the will to try something new. A somewhat experienced programmer or a third- or fourth-year student in computer science should be able to master most of this material - at least, this is the level I have aimed at. This book is primarily intended as a general introductory textbook on transformational methodology. As with any methodology, reading and understanding is necessary but not sufficient. Therefore, most of the chapters contain a set of exercises for practising as homework. Solutions to these exercises exist and can, in principle, be obtained at nominal cost from the author upon request on appropriate letterhead. In addition, the book also can be seen as a comprehensive account of the particular transformational methodology developed within the Munich CIP project.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
05 July 1990
Listed Since
10 December 2006

Barcode

No barcode data available

Similar Products You Might Like

Theory and Practice of Model Transformations: First International Conference, ICMT 2008, ETH Zürich, Switzerland, July 1-2, 2008, Proceedings: 5063 (Lecture Notes in Computer Science, 5063)
96% match

Theory and Practice of Model Transformations: First International Conference, ICMT 2008, ETH Zürich, Switzerland, July 1-2, 2008, Proceedings: 5063 (Lecture Notes in Computer Science, 5063)

Springer

£30.09 06 Oct 2026
Springer Graph Transformation for Software Engineers Book
96% match

Springer Graph Transformation for Software Engineers Book

Springer

£66.68 19 Aug 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 21 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
Specifying Software: A Hands-On Introduction
95% match

Specifying Software: A Hands-On Introduction

Cambridge University Press

£81.99 23 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
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
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.00 17 Sep 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
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
Applications of Graph Transformations with Industrial Relevance: Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, ... (Lecture Notes in Computer Science, 5088)
95% match

Applications of Graph Transformations with Industrial Relevance: Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, ... (Lecture Notes in Computer Science, 5088)

Springer

£48.03 04 Oct 2026
Programming Language Design and Implementation - Springer Textbook
95% match

Programming Language Design and Implementation - Springer Textbook

Springer

£48.92 08 Oct 2026
Programming Language Explorations
95% match

Programming Language Explorations

Chapman and Hall/CRC

£139.32 24 Sep 2026
Programming Language Explorations
95% match

Programming Language Explorations

Chapman and Hall/CRC

£51.29 27 Aug 2026
Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings: 9276 (Lecture Notes in Computer Science, 9276)
95% match

Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings: 9276 (Lecture Notes in Computer Science, 9276)

Springer

£41.43 04 Oct 2026
Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings: 11254 (Lecture Notes in Computer Science, 11254)
95% match

Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings: 11254 (Lecture Notes in Computer Science, 11254)

Springer

£47.59 07 Oct 2026
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
Domain-Specific Languages: Effective Modeling, Automation, and Reuse
94% match

Domain-Specific Languages: Effective Modeling, Automation, and Reuse

Springer

£45.57 30 Sep 2026
Thinking About Programs (ACM Books)
94% match

Thinking About Programs (ACM Books)

Wiley

£42.07 28 Aug 2026
Understanding Programming Languages
94% match

Understanding Programming Languages

Springer

£50.91 30 Sep 2026
Foundations of Software Science and Computational Structures: 15th International Conference, FOSSACS 2012, Held as Part of the European Joint ... (Lecture Notes in Computer Science, 7213)
94% match

Foundations of Software Science and Computational Structures: 15th International Conference, FOSSACS 2012, Held as Part of the European Joint ... (Lecture Notes in Computer Science, 7213)

Springer

£42.08 05 Oct 2026
Graph and Model Transformation: General Framework and Applications (Monographs in Theoretical Computer Science. An EATCS Series)
94% match

Graph and Model Transformation: General Framework and Applications (Monographs in Theoretical Computer Science. An EATCS Series)

Springer

£76.42 22 Sep 2026
Formal Methods and Models for System Design - Springer
94% match

Formal Methods and Models for System Design - Springer

Springer

£118.29 02 Oct 2026
Theory and Application of Graph Transformations: 6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers: 1764 (Lecture Notes in Computer Science, 1764)
94% match

Theory and Application of Graph Transformations: 6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers: 1764 (Lecture Notes in Computer Science, 1764)

Springer

£44.99 08 Oct 2026