£29.57

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

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

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

Historical
Generating forecast…
£38.14 £28.71 £30.77 £32.83 £34.88 £36.94 £39.00 11 June 2026 26 June 2026 11 July 2026 26 July 2026 10 August 2026

Price Distribution

Price distribution over 61 days • 6 price levels

Days at Price
Current Price
5 days · current 17 days 8 days 13 days 10 days 8 days 0 4 9 13 17 £30 £31 £32 £36 £37 £38 Days at Price

Price Analysis

Most common price: £31 (17 days, 27.9%)

Price range: £30 - £38

Price levels: 6 different prices over 61 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 13 Aug 2026
Specifying Software: A Hands-On Introduction
83% match

Specifying Software: A Hands-On Introduction

Cambridge University Press

£42.00 07 Aug 2026
Mathematical Approaches to Software Quality
83% match

Mathematical Approaches to Software Quality

Springer

£74.72 14 Aug 2026
Systematic Program Design: From Clarity to Efficiency
82% match

Systematic Program Design: From Clarity to Efficiency

Cambridge University Press

£10.09 22 Aug 2026
Systems and Software Verification: Model-Checking Techniques and Tools
82% match

Systems and Software Verification: Model-Checking Techniques and Tools

Springer

£100.11 08 Aug 2026
UML by Example (Sigs: Advances in Object Technology S)
81% match

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

Cambridge University Press

£77.90 13 Aug 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 06 Aug 2026
Formal Methods in Human-Computer Interaction: 2 (Cambridge Series on Human-Computer Interaction, Series Number 2)
81% match

Formal Methods in Human-Computer Interaction: 2 (Cambridge Series on Human-Computer Interaction, Series Number 2)

Cambridge University Press

£47.00 30 Aug 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.77 01 Aug 2026
Probabilistic Modelling
80% match

Probabilistic Modelling

Cambridge University Press

£27.87 03 Aug 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

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

£44.99 03 Aug 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

£75.43 08 Aug 2026
Fundamentals of Secure System Modelling
80% match

Fundamentals of Secure System Modelling

Springer

£50.91 05 Aug 2026
Computational and Mathematical Modeling in the Social Sciences
80% match

Computational and Mathematical Modeling in the Social Sciences

Cambridge University Press

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

£65.61 08 Aug 2026
Domain-Specific Conceptual Modeling: Concepts, Methods and Tools
80% match

Domain-Specific Conceptual Modeling: Concepts, Methods and Tools

Springer

£77.49 29 Aug 2026
Model-Driven Software Development
80% match

Model-Driven Software Development

Springer

£109.14 08 Aug 2026
Abstract State Machines: A Method for High-Level System Design and Analysis
79% match

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

Springer

£39.77 31 Aug 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.42 13 Aug 2026
Real-Time Object Uniform Design Methodology with UML
79% match

Real-Time Object Uniform Design Methodology with UML

Springer

£109.08 04 Aug 2026
The B Language and Method: A Guide to Practical Formal Development (Formal Approaches to Computing and Information Technology (FACIT))
79% match

The B Language and Method: A Guide to Practical Formal Development (Formal Approaches to Computing and Information Technology (FACIT))

Springer

£44.05 26 Aug 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 06 Aug 2026
Software Architecture Modeling by Reuse, Composition and Customization: An infrastructure for modeling the architecture of a software system by composing and adapting existing SA assets
79% match

Software Architecture Modeling by Reuse, Composition and Customization: An infrastructure for modeling the architecture of a software system by composing and adapting existing SA assets

LAP Lambert Academic Publishing

£63.00 09 Sep 2026