£51.80

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

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

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 52 days • 52 data points (No recent data available)

Historical
Generating forecast...
£51.80 £49.21 £50.25 £51.28 £52.32 £53.35 £54.39 27 March 2026 08 April 2026 21 April 2026 04 May 2026 17 May 2026

Price Distribution

Price distribution over 52 days • 1 price levels

Days at Price
52 days 0 13 26 39 52 £52 Days at Price

Price Analysis

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

Price range: £52 - £52

Price levels: 1 different prices over 52 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.97 12 May 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

£38.93 11 May 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.46 05 Jun 2026
Fundamentals of Secure System Modelling
82% match

Fundamentals of Secure System Modelling

Springer

£50.87 26 May 2026
Cryptography Made Simple (Information Security and Cryptography)
81% match

Cryptography Made Simple (Information Security and Cryptography)

Springer

£30.31 04 Jun 2026
An Integrated Approach to Software Engineering (Texts in Computer Science)
81% match

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

Springer

£49.55 08 Jun 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

£107.71 26 May 2026
Specifying Software: A Hands-On Introduction
81% match

Specifying Software: A Hands-On Introduction

Cambridge University Press

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

Systems and Software Verification: Model-Checking Techniques and Tools

Springer

£100.08 05 Jun 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

£39.34 17 May 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 17 May 2026
Software Security Technologies
80% match

Software Security Technologies

Cengage Learning

£104.00 08 Jun 2026
Cryptography for Secure Encryption (Universitext)
80% match

Cryptography for Secure Encryption (Universitext)

Springer

£39.30 22 Jun 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.50 05 Jun 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.46 28 May 2026
Trends in Software Testing
80% match

Trends in Software Testing

Springer

£61.80 03 Jun 2026
System Software Reliability (Springer Series in Reliability Engineering)
80% match

System Software Reliability (Springer Series in Reliability Engineering)

Springer

£76.38 31 May 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 26 May 2026
Mathematical Foundations of Time Series Analysis: A Concise Introduction
80% match

Mathematical Foundations of Time Series Analysis: A Concise Introduction

Springer

£110.46 19 May 2026
Effective Model-Based Systems Engineering
80% match

Effective Model-Based Systems Engineering

Springer

£89.12 18 May 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.38 16 May 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