£42.08

Springer Algebraic Foundations of Systems Specification (IFIP State-of-the-Art Reports)

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

View at Amazon

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

It has never been this cheap. We have no record of a lower price.

£42 today · cheaper than every other day in the last 3 months

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

Historical
Generating forecast…
£42.08 £39.98 £40.82 £41.66 £42.50 £43.34 £44.18 26 April 2026 12 May 2026 29 May 2026 15 June 2026 02 July 2026

Price Distribution

Price distribution over 68 days • 1 price levels

Days at Price
68 days 0 17 34 51 68 £42 Days at Price

Price Analysis

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

Price range: £42 - £42

Price levels: 1 different prices over 68 days

Description

The aim of software engineering is the provision and investigation of methods for the development of software systems of high quality with correctness as a key issue. A system is called correct if it does what one wants, if it meets the requirements. To achieve and to guarantee correct systems, the need of formal methods with rigorous semantics and the possibility of verification is widely accepted. Algebraic specification is a software engineering approach of this perspective. When Liskov and Zilles, Guttag and the ADJ-group with Goguen, Thatch er, Wagner and Wright introduced the basic ideas of algebraic specification in the mid seventies in the U. S. A. and Canada, they initiated a very successful and still flourishing new area. In the late seventies, algebraic specification became a major research topic also in many European countries. Originally, the algebraic framework was intended for the mathematical foundation of ab stract data types and the formal development of first-order applicative pro grams. Meanwhile, the range of applications has been extended to the precise specification of complete software systems, the uniform definition of syntax and semantics of programming languages, and to the stepwise development of correct systems from the requirement definitions to the running programs. The activities in the last 25 years have led to an abundance of concepts, methods, approaches, theories, languages and tools, which are mathemati cally founded in universal algebra, category theory and logic.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
21 October 2011
Listed Since
12 July 2012

Barcode

No barcode data available

Similar Products You Might Like

Fundamentals of Algebraic Specification 1: Equations and Initial Semantics: 6 (Monographs in Theoretical Computer Science. An EATCS Series, 6)
96% match

Fundamentals of Algebraic Specification 1: Equations and Initial Semantics: 6 (Monographs in Theoretical Computer Science. An EATCS Series, 6)

Springer

£76.40 09 Jul 2026
Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)
96% match

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Springer

£87.89 18 May 2026
Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)
96% match

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Springer

£87.00 04 Jul 2026
A Unifying Framework for Structured Analysis and Design Models
96% match

A Unifying Framework for Structured Analysis and Design Models

Cambridge University Press

£88.48 21 Jul 2026
Software Engineering with OBJ: Algebraic Specification in Action: 2 (Advances in Formal Methods, 2)
96% match

Software Engineering with OBJ: Algebraic Specification in Action: 2 (Advances in Formal Methods, 2)

Springer

£160.18 16 Jul 2026
Software Engineering with OBJ: Algebraic Specification in Action: 2 (Advances in Formal Methods, 2)
96% match

Software Engineering with OBJ: Algebraic Specification in Action: 2 (Advances in Formal Methods, 2)

Springer

£146.66 17 Jun 2026
Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised ... (Lecture Notes in Computer Science, 10644)
96% match

Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised ... (Lecture Notes in Computer Science, 10644)

Springer

£28.17 23 Jul 2026
Sets and Mappings (Essential Student Algebra, 1)
95% match

Sets and Mappings (Essential Student Algebra, 1)

Springer

£43.66 18 Jul 2026
Algebraische Spezifikation: Eine Einführung
95% match

Algebraische Spezifikation: Eine Einführung

Springer

£46.95 08 Jul 2026
Teaching and Learning Algebraic Thinking with 5- to 12-Year-Olds: The Global Evolution of an Emerging Field of Research and Practice (ICME-13 Monographs)
95% match

Teaching and Learning Algebraic Thinking with 5- to 12-Year-Olds: The Global Evolution of an Emerging Field of Research and Practice (ICME-13 Monographs)

Springer

£128.26 12 May 2026
Mathematics for Social Sciences and Arts: Algebraic Modeling (Mathematics in Mind)
95% match

Mathematics for Social Sciences and Arts: Algebraic Modeling (Mathematics in Mind)

Springer

£94.52 12 Jun 2026
Algebraic Theories: A Categorical Introduction to General Algebra: 184 (Cambridge Tracts in Mathematics, Series Number 184)
95% match

Algebraic Theories: A Categorical Introduction to General Algebra: 184 (Cambridge Tracts in Mathematics, Series Number 184)

Cambridge University Press

£92.64 23 Jul 2026
Bibliography on Abstract Data Types: 68 (Informatik-Fachberichte, 68)
95% match

Bibliography on Abstract Data Types: 68 (Informatik-Fachberichte, 68)

Springer

£77.00 29 Jun 2026
Algebraic Methodology and Software Technology: 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings: 936 (Lecture Notes in Computer Science, 936)
95% match

Algebraic Methodology and Software Technology: 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings: 936 (Lecture Notes in Computer Science, 936)

Springer

£59.22 07 Jul 2026
Algebraic Systems: 192 (Grundlehren der mathematischen Wissenschaften, 192)
95% match

Algebraic Systems: 192 (Grundlehren der mathematischen Wissenschaften, 192)

Springer

£53.21 16 Jul 2026
Representations of Algebraic Groups (Mathematical Surveys & Monographs)
95% match

Representations of Algebraic Groups (Mathematical Surveys & Monographs)

£89.13 12 Jun 2026
A History of Abstract Algebra
95% match

A History of Abstract Algebra

Birkhauser

£47.96 04 Jul 2026
The Concise Handbook of Algebra
95% match

The Concise Handbook of Algebra

Springer

£42.62 15 Jul 2026
Algebra: 211 (Graduate Texts in Mathematics, 211)
95% match

Algebra: 211 (Graduate Texts in Mathematics, 211)

Springer

Price unavailable
Bringing Out the Algebraic Character of Arithmetic: From Children's Ideas To Classroom Practice (Studies in Mathematical Thinking and Learning Series)
95% match

Bringing Out the Algebraic Character of Arithmetic: From Children's Ideas To Classroom Practice (Studies in Mathematical Thinking and Learning Series)

Routledge

£166.51 22 Jun 2026
Algebra II: Textbook for Students of Mathematics
95% match

Algebra II: Textbook for Students of Mathematics

Springer

£39.00 06 May 2026
Abstract Algebra
95% match

Abstract Algebra

Wiley

£120.77 13 Jun 2026
Fundamental Problems of Algorithmic Algebra
95% match

Fundamental Problems of Algorithmic Algebra

Oxford University Press

£166.46 17 Jul 2026
Algebraic Art: Mathematical Formalism and Victorian Culture
95% match

Algebraic Art: Mathematical Formalism and Victorian Culture

Oxford University Press

£67.00 17 Jul 2026