£34.80

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

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

Springer Software Engineering: Specification, Implementation, Verification

View at Amazon

Price History & Forecast

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

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

Historical
Generating forecast…
£34.80 £33.06 £33.76 £34.45 £35.15 £35.84 £36.54 11 August 2026 19 August 2026 28 August 2026 05 September 2026 14 September 2026
View at Amazon ↗

Price data last checked 56 day(s) ago - refreshing...

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 35 days • 1 price levels

Days at Price
35 days 0 9 18 26 35 £35 Days at Price

Price Analysis

Most common price: £35 (35 days, 100.0%)

Price range: £35 - £35

Price levels: 1 different prices over 35 days

Description

This book takes a formal approach to teaching software engineering, using not only UML, but also Object Constraint Language (OCL) for specification and analysis of designed models. Employing technical details typically missing from existing textbooks on software engineering, the author shows how precise specifications lead to static verification of software systems. In addition, data management is given the attention that is required in order to produce a successful software project. Uses constraints in all phases of software development Follows recent developments in software technologies Technical coverage of data management issues and software verification Illustrated throughout to present analysis, specification, implementation and verification of multiple applications Includes end-of-chapter exercises and Instructor Presentation Slides

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
02 October 2017
Listed Since
18 May 2017

Barcode

No barcode data available

Similar Products You Might Like

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

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

Springer

£65.50 20 Oct 2026
Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)
86% match

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

Springer

£37.55 30 Oct 2026
Formal Specification Techniques for Engineering Modular C Programs: 1 (International Series in Software Engineering, 1)
84% match

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

Springer

£129.99 23 Oct 2026
Specifying Software: A Hands-On Introduction
84% match

Specifying Software: A Hands-On Introduction

Cambridge University Press

£44.00 24 Oct 2026
Objektorientierte Modellierung von Automatisierungssystemen: Software Engineering für Embedded Systems
84% match

Objektorientierte Modellierung von Automatisierungssystemen: Software Engineering für Embedded Systems

Springer

£46.99 14 Sep 2026
Systems and Software Verification: Model-Checking Techniques and Tools
83% match

Systems and Software Verification: Model-Checking Techniques and Tools

Springer

£100.11 26 Oct 2026
Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)
83% match

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

Springer

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

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

Springer

£37.02 21 Oct 2026
Mathematical Approaches to Software Quality
83% match

Mathematical Approaches to Software Quality

Springer

£48.91 30 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
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
83% match

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)

Springer

£47.90 14 Sep 2026
Abstract State Machines: A Method for High-Level System Design and Analysis
83% match

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

Springer

£39.77 31 Aug 2026
A Software Process Model Handbook for Incorporating People's Capabilities
83% match

A Software Process Model Handbook for Incorporating People's Capabilities

Springer

£42.56 15 Sep 2026
Software Engineering
83% match

Software Engineering

LAP Lambert Academic Publishing

£69.99 14 Sep 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
Concise Guide to Software Testing (Undergraduate Topics in Computer Science)
82% match

Concise Guide to Software Testing (Undergraduate Topics in Computer Science)

Springer

£39.00 17 Oct 2026
Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)
82% match

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

Springer

£62.91 15 Sep 2026
Constraint-Based Verification
82% match

Constraint-Based Verification

Springer

£42.68 25 Oct 2026
Object-Oriented Behavioral Specifications: 371 (The Springer International Series in Engineering and Computer Science, 371)
82% match

Object-Oriented Behavioral Specifications: 371 (The Springer International Series in Engineering and Computer Science, 371)

Springer

£111.56 26 Oct 2026
Mathematical Approaches to Software Quality
82% match

Mathematical Approaches to Software Quality

Springer

£75.68 31 Oct 2026
Model-Based Software Testing and Analysis with C#
82% match

Model-Based Software Testing and Analysis with C#

Cambridge University Press

£27.89 30 Oct 2026
Software Architectures: Advances and Applications
82% match

Software Architectures: Advances and Applications

Springer

£82.30 20 Oct 2026
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction
81% match

Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction

Springer

£73.14 20 Oct 2026
SOFTWARE ENGINEERING
81% match

SOFTWARE ENGINEERING

LAP Lambert Academic Publishing

£60.00 15 Sep 2026