£37.55

About as cheap as it gets — within 5% of the all-time low it hit 2 months ago.

£38 today · all-time low £37 (Aug 2026) · usually £38

Springer Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)

View at Amazon

Price History & Forecast

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

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

Historical
Generating forecast…
£37.73 £36.87 £37.06 £37.25 £37.43 £37.62 £37.81 11 August 2026 31 August 2026 20 September 2026 10 October 2026 30 October 2026
View at Amazon ↗

Price data last checked 10 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 81 days • 2 price levels

Days at Price
Current Price
13 days 68 days · current 0 17 34 51 68 £37 £38 Days at Price

Price Analysis

Most common price: £38 (68 days, 84.0%)

Price range: £37 - £38

Price levels: 2 different prices over 81 days

Description

The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly sound approaches with the rigor of formal, mathematics-based approaches. This volume covers the basic principles and techniques of specifying systems and languages. It deals with modelling the semiotics (pragmatics, semantics and syntax of systems and languages), modelling spatial and simple temporal phenomena, and such specialized topics as modularity (incl. UML class diagrams), Petri nets, live sequence charts, statecharts, and temporal logics, including the duration calculus. Finally, the book presents techniques for interpreter and compiler development of functional, imperative, modular and parallel programming languages. This book is targeted at late undergraduate to early graduate university students, and researchers of programming methodologies. Vol. 1 of this series is a prerequisite text.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
22 February 2006
Listed Since
12 January 2007

Barcode

No barcode data available

Similar Products You Might Like

Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)
88% match

Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)

Springer

£88.12 31 Aug 2026
Specifying Software: A Hands-On Introduction
85% match

Specifying Software: A Hands-On Introduction

Cambridge University Press

£44.00 24 Oct 2026
Formal Specification Techniques for Engineering Modular C Programs: 1 (International Series in Software Engineering, 1)
85% match

Formal Specification Techniques for Engineering Modular C Programs: 1 (International Series in Software Engineering, 1)

Springer

£129.99 23 Oct 2026
Semantic Integration of Heterogeneous Software Specifications (Monographs in Theoretical Computer Science. An EATCS Series)
85% match

Semantic Integration of Heterogeneous Software Specifications (Monographs in Theoretical Computer Science. An EATCS Series)

Springer

£113.09 26 Oct 2026
Tools and Environments for Parallel and Distributed Systems: 2 (International Series in Software Engineering, 2)
84% match

Tools and Environments for Parallel and Distributed Systems: 2 (International Series in Software Engineering, 2)

Springer

£110.35 24 Oct 2026
Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series)
83% match

Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series)

Springer

£79.84 26 Oct 2026
An Integrated Approach to Software Engineering (Texts in Computer Science)
83% match

An Integrated Approach to Software Engineering (Texts in Computer Science)

Springer

£44.68 27 Oct 2026
Software Engineering and Environment: An Object-oriented Perspective (Software Science & Engineering)
83% match

Software Engineering and Environment: An Object-oriented Perspective (Software Science & Engineering)

Springer

£65.50 20 Oct 2026
Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive ... II: Mathematics, Physics and Chemistry, 195)
82% match

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive ... II: Mathematics, Physics and Chemistry, 195)

Springer

£140.19 30 Aug 2026
A Concise Introduction to Software Engineering: With Open Source and GenAI (Undergraduate Topics in Computer Science)
82% match

A Concise Introduction to Software Engineering: With Open Source and GenAI (Undergraduate Topics in Computer Science)

Springer

£37.02 21 Oct 2026
Discrete Maths Software Engineers: An Introduction for Software Engineers
82% match

Discrete Maths Software Engineers: An Introduction for Software Engineers

Cambridge University Press

£41.80 19 Oct 2026
Abstract State Machines: A Method for High-Level System Design and Analysis
82% match

Abstract State Machines: A Method for High-Level System Design and Analysis

Springer

£39.77 31 Aug 2026
Fundamentals of Secure System Modelling
82% match

Fundamentals of Secure System Modelling

Springer

£50.91 23 Oct 2026
Mathematical Foundations of Software Engineering: A Practical Guide to Essentials (Texts in Computer Science)
82% match

Mathematical Foundations of Software Engineering: A Practical Guide to Essentials (Texts in Computer Science)

Springer

£51.80 21 Oct 2026
Software Engineering Techniques Applied to Agricultural Systems: An Object-Oriented and UML Approach: 93 (Springer Optimization and Its Applications, 93)
82% match

Software Engineering Techniques Applied to Agricultural Systems: An Object-Oriented and UML Approach: 93 (Springer Optimization and Its Applications, 93)

Springer

£80.21 23 Oct 2026
Systems and Software Verification: Model-Checking Techniques and Tools
82% match

Systems and Software Verification: Model-Checking Techniques and Tools

Springer

£100.11 26 Oct 2026
Service Engineering: European Research Results
81% match

Service Engineering: European Research Results

Springer

£111.44 22 Oct 2026
Languages for Digital Embedded Systems: 572 (The Springer International Series in Engineering and Computer Science, 572)
81% match

Languages for Digital Embedded Systems: 572 (The Springer International Series in Engineering and Computer Science, 572)

Springer

£109.43 23 Oct 2026
Web Engineering: Modelling and Implementing Web Applications (Human–Computer Interaction Series)
81% match

Web Engineering: Modelling and Implementing Web Applications (Human–Computer Interaction Series)

Springer

£113.52 24 Oct 2026
Software Architectures: Advances and Applications
81% match

Software Architectures: Advances and Applications

Springer

£82.30 20 Oct 2026
Information Systems Engineering: An Introduction
81% match

Information Systems Engineering: An Introduction

Springer

£89.42 09 Sep 2026
Modelling Systems: Practical Tools and Techniques in Software Development
81% match

Modelling Systems: Practical Tools and Techniques in Software Development

Cambridge University Press

£22.82 27 Oct 2026
Handbook on Artificial Intelligence-Empowered Applied Software Engineering: VOL.1: Novel Methodologies to Engineering Smart Software Systems: 2 ... Software and Systems Engineering, 2)
81% match

Handbook on Artificial Intelligence-Empowered Applied Software Engineering: VOL.1: Novel Methodologies to Engineering Smart Software Systems: 2 ... Software and Systems Engineering, 2)

Springer

£106.33 26 Oct 2026
High-Level System Modeling: Specification Languages: 3 (Current Issues in Electronic Modeling, 3)
81% match

High-Level System Modeling: Specification Languages: 3 (Current Issues in Electronic Modeling, 3)

Springer

£74.17 21 Oct 2026