Mathematical Foundations of Software Engineering

Name: Mathematical Foundations of Software Engineering
Brand: Springer Nature Switzerland
SKU: 9783031262142
Price: 22723 HUF
Availability: InStock

Szerző: Gerard O'Regan

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer Nature Switzerland

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

22 723 Ft

This textbook presents an introduction to the mathematical foundations of software engineering. It...

Információk a könyvről

Szerző

Gerard O'Regan

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2024

oldal

560

EAN

9783031262142

ISBN

303126214X

Enbook ID

45946761

Kiadó

Springer Nature Switzerland

Súly

838

Méretek

155 x 235 x 30

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Mathematical Foundations of Software Engineering

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták