£38.86

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

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

View at Amazon

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

This is the usual price. Wait for it to drop, or tell us your number.

£39 today · usual range £18–£40 · best ever £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 44 days · 44 data points (no recent data)

Historical
Generating forecast…
£39.96 £16.06 £21.27 £26.49 £31.70 £36.92 £42.13 26 April 2026 06 May 2026 17 May 2026 28 May 2026 08 June 2026

Price Distribution

Price distribution over 44 days • 4 price levels

Days at Price
Current Price
15 days 15 days 5 days · current 9 days 0 4 8 11 15 £18 £19 £39 £40 Days at Price

Price Analysis

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

Price range: £18 - £40

Price levels: 4 different prices over 44 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 11 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 12 Jun 2026
Systematic Program Design: From Clarity to Efficiency
82% match

Systematic Program Design: From Clarity to Efficiency

Cambridge University Press

£10.09 19 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 11 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
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

£45.49 21 Jun 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
Domain-Specific Conceptual Modeling: Concepts, Methods and Tools
80% match

Domain-Specific Conceptual Modeling: Concepts, Methods and Tools

Springer

£77.55 15 Jun 2026
Model-Driven Software Development
80% match

Model-Driven Software Development

Springer

£108.92 05 Jun 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.73 21 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 12 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
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.00 21 Jun 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
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 30 Jun 2026