£34.80

Springer Software Engineering: Specification, Implementation, Verification

Price data last checked 10 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.

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

Historical
Generating forecast…
£34.80 £33.06 £33.76 £34.45 £35.15 £35.84 £36.54 26 June 2026 16 July 2026 05 August 2026 25 August 2026 14 September 2026

Price Distribution

Price distribution over 81 days • 1 price levels

Days at Price
81 days 0 20 41 61 81 £35 Days at Price

Price Analysis

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

Price range: £35 - £35

Price levels: 1 different prices over 81 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 03 Aug 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.48 13 Aug 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 06 Aug 2026
Specifying Software: A Hands-On Introduction
84% match

Specifying Software: A Hands-On Introduction

Cambridge University Press

£42.00 07 Aug 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 08 Aug 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.00 03 Aug 2026
Mathematical Approaches to Software Quality
83% match

Mathematical Approaches to Software Quality

Springer

£47.92 13 Aug 2026
An Integrated Approach to Software Engineering (Texts in Computer Science)
83% match

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

Springer

£43.78 10 Aug 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

£71.20 06 Aug 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.77 31 Jul 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

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

£110.72 08 Aug 2026
Mathematical Approaches to Software Quality
82% match

Mathematical Approaches to Software Quality

Springer

£74.72 14 Aug 2026
Model-Based Software Testing and Analysis with C#
82% match

Model-Based Software Testing and Analysis with C#

Cambridge University Press

£27.89 13 Aug 2026
Software Architectures: Advances and Applications
82% match

Software Architectures: Advances and Applications

Springer

£85.70 03 Aug 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 03 Aug 2026
SOFTWARE ENGINEERING
81% match

SOFTWARE ENGINEERING

LAP Lambert Academic Publishing

£60.00 15 Sep 2026