£51.80

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

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

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

Historical
Generating forecast…
£51.80 £49.21 £50.25 £51.28 £52.32 £53.35 £54.39 13 May 2026 02 June 2026 23 June 2026 13 July 2026 03 August 2026

Price Distribution

Price distribution over 83 days • 1 price levels

Days at Price
83 days 0 21 42 62 83 £52 Days at Price

Price Analysis

Most common price: £52 (83 days, 100.0%)

Price range: £52 - £52

Price levels: 1 different prices over 83 days

Description

This textbook presents an introduction to the mathematical foundations of software engineering. It presents the rich applications of mathematics in areas such as error-correcting codes, cryptography, the safety and security critical fields, the banking and insurance fields, as well as traditional engineering applications. Topics and features: Addresses core mathematics for critical thinking and problem solving Discusses propositional and predicate logic and various proof techniques to demonstrate the correctness of a logical argument. Examines number theory and its applications to cryptography Considers the underlying mathematics of error-correcting codes Discusses graph theory and its applications to modelling networks Reviews tools to support software engineering mathematics, including automated and interactive theorem provers and model checking Discusses financial software engineering, including simple and compound interest, probability and statistics, and operations research Discusses software reliability and dependability and explains formal methods used to derive a program from its specification Discusses calculus, matrices, vectors, complex numbers, and quaternions, as well as applications to graphics and robotics Includes key learning topics, summaries, and review questions in each chapter, together with a useful glossary This practical and easy-to-follow textbook/reference is ideal for computer science students seeking to learn how mathematics can assist them in building high-quality and reliable software on time and on budget. The text also serves as an excellent self-study primer for software engineers, quality professionals, and software managers.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
05 May 2023
Listed Since
29 December 2022

Barcode

No barcode data available

Similar Products You Might Like

Discrete Maths Software Engineers: An Introduction for Software Engineers
84% match

Discrete Maths Software Engineers: An Introduction for Software Engineers

Cambridge University Press

£41.77 01 Aug 2026
Mathematical Approaches to Software Quality
83% match

Mathematical Approaches to Software Quality

Springer

£74.35 12 Jun 2026
Concise Guide to Software Testing (Undergraduate Topics in Computer Science)
83% match

Concise Guide to Software Testing (Undergraduate Topics in Computer Science)

Springer

£39.77 31 Jul 2026
Mathematical Foundations of System Safety Engineering: A Road Map for the Future
83% match

Mathematical Foundations of System Safety Engineering: A Road Map for the Future

Springer

£58.50 08 Aug 2026
Fundamentals of Secure System Modelling
82% match

Fundamentals of Secure System Modelling

Springer

£50.91 05 Aug 2026
Cryptography Made Simple (Information Security and Cryptography)
81% match

Cryptography Made Simple (Information Security and Cryptography)

Springer

£32.50 08 Aug 2026
An Integrated Approach to Software Engineering (Texts in Computer Science)
81% match

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

Springer

£43.78 10 Aug 2026
Software Performability: From Concepts to Applications: 347 (The Springer International Series in Engineering and Computer Science, 347)
81% match

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

Springer

£108.77 05 Aug 2026
Specifying Software: A Hands-On Introduction
81% match

Specifying Software: A Hands-On Introduction

Cambridge University Press

£42.00 07 Aug 2026
Systems and Software Verification: Model-Checking Techniques and Tools
81% match

Systems and Software Verification: Model-Checking Techniques and Tools

Springer

£100.11 08 Aug 2026
A Concise Introduction to Software Engineering: With Open Source and GenAI (Undergraduate Topics in Computer Science)
81% match

A Concise Introduction to Software Engineering: With Open Source and GenAI (Undergraduate Topics in Computer Science)

Springer

£37.00 03 Aug 2026
Software Engineering and Environment: An Object-oriented Perspective (Software Science & Engineering)
81% match

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

Springer

£65.50 03 Aug 2026
Software Security Technologies
80% match

Software Security Technologies

Course Technology

£104.00 10 Aug 2026
Cryptography for Secure Encryption (Universitext)
80% match

Cryptography for Secure Encryption (Universitext)

Springer

£39.30 04 Jul 2026
The Mathematical-Function Computation Handbook: Programming Using the MathCW Portable Software Library
80% match

The Mathematical-Function Computation Handbook: Programming Using the MathCW Portable Software Library

Springer

£91.57 08 Aug 2026
The Mathematical-Function Computation Handbook: Programming Using the MathCW Portable Software Library
80% match

The Mathematical-Function Computation Handbook: Programming Using the MathCW Portable Software Library

Springer

£128.93 06 Aug 2026
Trends in Software Testing
80% match

Trends in Software Testing

Springer

£61.84 07 Aug 2026
System Software Reliability (Springer Series in Reliability Engineering)
80% match

System Software Reliability (Springer Series in Reliability Engineering)

Springer

£76.42 06 Aug 2026
Practical Electronic Reliability Engineering: Getting the Job Done from Requirement through Acceptance
80% match

Practical Electronic Reliability Engineering: Getting the Job Done from Requirement through Acceptance

Springer

£113.76 05 Aug 2026
Mathematical Foundations of Time Series Analysis: A Concise Introduction
80% match

Mathematical Foundations of Time Series Analysis: A Concise Introduction

Springer

£114.06 04 Aug 2026
Effective Model-Based Systems Engineering
80% match

Effective Model-Based Systems Engineering

Springer

£89.34 04 Aug 2026
Software Engineering Frameworks for the Cloud Computing Paradigm (Computer Communications and Networks)
80% match

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

Springer

£76.42 03 Aug 2026
Software Architecture for Business
80% match

Software Architecture for Business

Springer

£73.10 13 Jun 2026
Software Testing Techniques: Finding the Defects That Matter (Programming Series)
80% match

Software Testing Techniques: Finding the Defects That Matter (Programming Series)

£51.99 13 Jun 2026