£74.35

Springer Mathematical Approaches to Software Quality

Price data checked 3 days ago

View at Amazon

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

About as cheap as it gets. The only time it was cheaper was 1 month ago.

£74 today · all-time low £74 (May 2026) · usually £75

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

Historical
Generating forecast...
£76.38 £73.49 £74.12 £74.75 £75.38 £76.01 £76.64 09 March 2026 30 March 2026 21 April 2026 13 May 2026 04 June 2026

Price Distribution

Price distribution over 88 days • 3 price levels

Days at Price
Current Price
39 days · current 16 days 33 days 0 10 20 29 39 £74 £75 £76 Days at Price

Price Analysis

Most common price: £74 (39 days, 44.3%)

Price range: £74 - £76

Price levels: 3 different prices over 88 days

Description

This book provides a comprehensive introduction to various mathematical approaches to achieving high-quality software. An introduction to mathematics that is essential for sound software engineering is provided as well as a discussion of various mathematical methods that are used both in academia and industry. The mathematical approaches considered include: Z specification language Vienna Development Methods (VDM) Irish school of VDM (VDM) approach of Dijkstra and Hoare classical engineering approach of Parnas Cleanroom approach developed at IBM software reliability, and unified modelling language (UML). Additionally, technology transfer of the mathematical methods to industry is considered. The book explains the main features of these approaches and applies mathematical methods to solve practical problems. Written with both student and professional in mind, this book assists the reader in applying mathematical methods to solve practical problems that are relevant to software engineers.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
14 March 2012
Listed Since
01 October 2010

Barcode

No barcode data available

Similar Products You Might Like

Mathematical Foundations of Software Engineering: A Practical Guide to Essentials (Texts in Computer Science)
83% match

Mathematical Foundations of Software Engineering: A Practical Guide to Essentials (Texts in Computer Science)

Springer

£51.80 17 May 2026
Systems and Software Verification: Model-Checking Techniques and Tools
80% match

Systems and Software Verification: Model-Checking Techniques and Tools

Springer

£100.08 05 Jun 2026
Software Architecture for Business
80% match

Software Architecture for Business

Springer

£73.10 05 Jun 2026
Software Architectures: Advances and Applications
80% match

Software Architectures: Advances and Applications

Springer

£84.63 16 May 2026
Mathematical Modeling and Optimization: An Essay for the Design of Computer-Based Modeling Tools: 31 (Applied Optimization, 31)
80% match

Mathematical Modeling and Optimization: An Essay for the Design of Computer-Based Modeling Tools: 31 (Applied Optimization, 31)

Springer

£73.03 29 May 2026
Model-Driven Software Development
80% match

Model-Driven Software Development

Springer

£108.92 05 Jun 2026
Software Engineering and Environment: An Object-oriented Perspective (Software Science & Engineering)
80% match

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

Springer

£65.50 17 May 2026
Dynamic Management of Sustainable Development: Methods for Large Technical Systems
79% match

Dynamic Management of Sustainable Development: Methods for Large Technical Systems

Springer

£73.90 18 May 2026
Evolving Software Systems
79% match

Evolving Software Systems

Springer

£76.38 26 May 2026
System-Level Validation: High-Level Modeling and Directed Test Generation Techniques
79% match

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

Springer

£78.07 06 Jun 2026
Service Engineering: European Research Results
79% match

Service Engineering: European Research Results

Springer

£107.98 24 May 2026
Handbook on Artificial Intelligence-Empowered Applied Software Engineering: VOL.1: Novel Methodologies to Engineering Smart Software Systems: 2 ... Software and Systems Engineering, 2)
79% match

Handbook on Artificial Intelligence-Empowered Applied Software Engineering: VOL.1: Novel Methodologies to Engineering Smart Software Systems: 2 ... Software and Systems Engineering, 2)

Springer

£107.98 04 Jun 2026
Semantic Integration of Heterogeneous Software Specifications (Monographs in Theoretical Computer Science. An EATCS Series)
79% match

Semantic Integration of Heterogeneous Software Specifications (Monographs in Theoretical Computer Science. An EATCS Series)

Springer

£107.98 05 Jun 2026
Software Failure Risk: Measurement and Management (Applications of Modern Technology in Business)
79% match

Software Failure Risk: Measurement and Management (Applications of Modern Technology in Business)

Springer

£67.00 16 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
Quality and Reliability of Technical Systems: Theory, Practice, Management
79% match

Quality and Reliability of Technical Systems: Theory, Practice, Management

Springer

£98.32 03 Jun 2026
Software Engineering Frameworks for the Cloud Computing Paradigm (Computer Communications and Networks)
79% match

Software Engineering Frameworks for the Cloud Computing Paradigm (Computer Communications and Networks)

Springer

£76.38 16 May 2026
Analytic Methods in Systems and Software Testing
79% match

Analytic Methods in Systems and Software Testing

Wiley

£56.97 12 May 2026
Applied Reliability and Quality: Fundamentals, Methods and Procedures (Springer Series in Reliability Engineering)
79% match

Applied Reliability and Quality: Fundamentals, Methods and Procedures (Springer Series in Reliability Engineering)

Springer

£107.98 03 Jun 2026
Formal Specification Techniques for Engineering Modular C Programs: 1 (International Series in Software Engineering, 1)
79% match

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

Springer

£129.99 30 May 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 Performability: From Concepts to Applications: 347 (The Springer International Series in Engineering and Computer Science, 347)
79% match

Software Performability: From Concepts to Applications: 347 (The Springer International Series in Engineering and Computer Science, 347)

Springer

£107.71 26 May 2026
Present and Ulterior Software Engineering
79% match

Present and Ulterior Software Engineering

Springer

£75.02 27 May 2026
Software Architecture Knowledge Management: Theory and Practice
79% match

Software Architecture Knowledge Management: Theory and Practice

Springer

£91.34 26 May 2026