£38.86

Cambridge University Press Modelling Systems: Practical Tools and Techniques in Software Development

Price data checked 1 day ago

View at Amazon

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

Pricier than usual. £11 more than the 30-day average — we'd wait.

£39 today · 30-day average £28 · all-time low £18

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 90 days • 90 data points

Historical
Generating forecast...
£39.96 £16.06 £21.27 £26.49 £31.70 £36.92 £42.13 11 March 2026 02 April 2026 24 April 2026 16 May 2026 08 June 2026

Price Distribution

Price distribution over 90 days • 9 price levels

Days at Price
Current Price
15 days 15 days 15 days 4 days 11 days 7 days 9 days 5 days · current 9 days 0 4 8 11 15 £18 £19 £20 £21 £22 £23 £24 £39 £40 Days at Price

Price Analysis

Most common price: £18 (15 days, 16.7%)

Price range: £18 - £40

Price levels: 9 different prices over 90 days

Description

How can we make sure that the software we build does what it is supposed to? This book provides an insight into established techniques which help developers to overcome the complexity of software development by constructing models of software systems in early design stages. It uses one of the leading formal methods, VDM (Vienna Development Method), and combines training in the formalism with industry-strength tool support and examples derived from real industrial applications. The principles taught here also apply to many of the current generation of formal methods. This second edition has been updated to include advanced online tool support for formal modelling as well as up-to-date reports on real commercial applications in areas as diverse as business information systems and firmware design.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
11 June 2009
Listed Since
31 October 2008

Barcode

No barcode data available

Similar Products You Might Like

Model-Based Software Testing and Analysis with C#
84% match

Model-Based Software Testing and Analysis with C#

Cambridge University Press

£27.89 09 Jun 2026
Specifying Software: A Hands-On Introduction
83% match

Specifying Software: A Hands-On Introduction

Cambridge University Press

£42.00 31 May 2026
Mathematical Approaches to Software Quality
83% match

Mathematical Approaches to Software Quality

Springer

£74.35 04 Jun 2026
Systems and Software Verification: Model-Checking Techniques and Tools
82% match

Systems and Software Verification: Model-Checking Techniques and Tools

Springer

£100.08 05 Jun 2026
UML by Example (Sigs: Advances in Object Technology S)
81% match

UML by Example (Sigs: Advances in Object Technology S)

Cambridge University Press

£78.00 06 Jun 2026
Formal Specification Techniques for Engineering Modular C Programs: 1 (International Series in Software Engineering, 1)
81% match

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

Springer

£129.99 30 May 2026
Discrete Maths Software Engineers: An Introduction for Software Engineers
81% match

Discrete Maths Software Engineers: An Introduction for Software Engineers

Cambridge University Press

£41.97 12 May 2026
Probabilistic Modelling
80% match

Probabilistic Modelling

Cambridge University Press

£27.32 17 May 2026
Automating Business Modelling: A Guide to Using Logic to Represent Informal Methods and Support Reasoning (Advanced Information and Knowledge Processing)
80% match

Automating Business Modelling: A Guide to Using Logic to Represent Informal Methods and Support Reasoning (Advanced Information and Knowledge Processing)

Springer

£107.98 01 Jun 2026
Models and Tools for Managing Development Processes: 1646 (Lecture Notes in Computer Science, 1646)
80% match

Models and Tools for Managing Development Processes: 1646 (Lecture Notes in Computer Science, 1646)

Springer

£31.84 17 May 2026
Formal Methods for Embedded Distributed Systems: How to master the complexity
80% match

Formal Methods for Embedded Distributed Systems: How to master the complexity

Springer

£74.72 04 Jun 2026
Fundamentals of Secure System Modelling
80% match

Fundamentals of Secure System Modelling

Springer

£50.87 26 May 2026
Computational and Mathematical Modeling in the Social Sciences
80% match

Computational and Mathematical Modeling in the Social Sciences

Cambridge University Press

£49.92 02 Jun 2026
System-Level Validation: High-Level Modeling and Directed Test Generation Techniques
80% match

System-Level Validation: High-Level Modeling and Directed Test Generation Techniques

Springer

£78.07 06 Jun 2026
Model-Driven Software Development
80% match

Model-Driven Software Development

Springer

£108.92 05 Jun 2026
Form-Oriented Analysis: A New Methodology to Model Form-Based Applications
79% match

Form-Oriented Analysis: A New Methodology to Model Form-Based Applications

Springer

£76.13 09 Jun 2026
Real-Time Object Uniform Design Methodology with UML
79% match

Real-Time Object Uniform Design Methodology with UML

Springer

£108.92 18 May 2026
Software Engineering Techniques Applied to Agricultural Systems: An Object-Oriented and UML Approach: 93 (Springer Optimization and Its Applications, 93)
79% match

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

Springer

£71.20 29 May 2026
Formal Semantics and Proof Techniques for Optimizing VHDL Models
79% match

Formal Semantics and Proof Techniques for Optimizing VHDL Models

Springer

£73.75 01 Jun 2026
Models in System Design: 9 (Current Issues in Electronic Modeling, 9)
79% match

Models in System Design: 9 (Current Issues in Electronic Modeling, 9)

Springer

£142.01 31 May 2026
Principles of Object-Oriented Modeling and Simulation with Modelica 2.1
79% match

Principles of Object-Oriented Modeling and Simulation with Modelica 2.1

Wiley

£104.00 13 May 2026
Software Configuration Management
79% match

Software Configuration Management

CRC Press

£59.42 25 May 2026
High-Level System Modeling: Specification Languages: 3 (Current Issues in Electronic Modeling, 3)
79% match

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

Springer

£73.16 18 May 2026
Effective Model-Based Systems Engineering
78% match

Effective Model-Based Systems Engineering

Springer

£89.12 18 May 2026