Mathematical Foundations of Software Engineering: A Practical Guide to Essentials

— —

Gerard O'Regan

Mathematical Foundations of Software Engineering

A Practical Guide to Essentials

Gerard O'Regan

$214.95 $171.85

Hardback

Not in-store but you can order this
How long will it take?

Availability Information

We source books from suppliers in Australia and overseas. For books we don't currently have in stock, the time it takes to get them from our suppliers can vary widely - from a few days to a few months - so we check each book with each supplier to determine the expected time it will take to be supplied to us.

We then advise you accordingly. If the time taken to get any book is too long for you, you can let us know and we will cancel or adjust your order, and refund as required.

To find out the anticipated arrival time for specific items prior to ordering, please contact us by phone or email:

Phone +61 2 9264 3111, or 1800 4 BOOKS (1800 4 26657) if outside Sydney:
option 1 Abbey's Bookshop (Crime, History, Science, Kids & more) • info@abbeys.com.au
option 2 Language Book Centre (ESL & Foreign Languages) • language@abbeys.com.au
option 3 Galaxy Bookshop (Sci-fi, Fantasy, Romance, Graphic Novels) • sf@galaxybooks.com.au

QTY:

English

Springer International Publishing AG
05 May 2023

Discrete mathematics; Probability & statistics; Software Engineering; Maths for computer scientists

Series: Texts in Computer Science

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.

By: Gerard O'Regan
Imprint: Springer International Publishing AG
Country of Publication: Switzerland
Edition: 1st ed. 2023
Dimensions: Height: 235mm, Width: 155mm,
Weight: 998g
ISBN: 9783031262111
ISBN 10: 3031262115
Series: Texts in Computer Science
Pages: 519
Publication Date: 05 May 2023
Audience: Professional and scholarly , Undergraduate
Format: Hardback
Publisher's Status: Active

Dr. Gerard O'Regan is a CMMI software process improvement consultant with research interests including software quality and software process improvement, mathematical approaches to software quality, and the history of computing. He is the author of such Springer titles as Introduction to the History of Computing, Pillars of Computing, Introduction to Software Quality, Giants of Computing, and Mathematics in Computing.