- Добавил: literator
- Дата: 5-05-2023, 21:29
- Комментариев: 0
Название: Mathematical Foundations of Software Engineering: A Practical Guide to Essentials
Автор: Gerard O'Regan
Издательство: Springer
Серия: Texts in Computer Science
Год: 2023
Страниц: 538
Язык: английский
Формат: pdf (true)
Размер: 10.2 MB
The objective of this book is to give the reader a flavour of the mathematical foundations of software engineering. The rich applications of mathematics to software engineering includes its applications to error detection and correcting codes with finite field theory; the field of cryptography which uses the results of number theory; the modelling of telecommunication networks with graph theory; the application of discrete mathematics and proof techniques to the software correctness field (especially safety critical systems using formal methods and model checking); the application of financial mathematics to the banking and insurance fields; and the application of calculus and vectors to traditional engineering applications.
Автор: Gerard O'Regan
Издательство: Springer
Серия: Texts in Computer Science
Год: 2023
Страниц: 538
Язык: английский
Формат: pdf (true)
Размер: 10.2 MB
The objective of this book is to give the reader a flavour of the mathematical foundations of software engineering. The rich applications of mathematics to software engineering includes its applications to error detection and correcting codes with finite field theory; the field of cryptography which uses the results of number theory; the modelling of telecommunication networks with graph theory; the application of discrete mathematics and proof techniques to the software correctness field (especially safety critical systems using formal methods and model checking); the application of financial mathematics to the banking and insurance fields; and the application of calculus and vectors to traditional engineering applications.