東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Mathematical foundations of software...

O'Regan, Gerard.

Linked to FindBook

Google Book

Amazon

博客來

Mathematical foundations of software engineering = a practical guide to essentials /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Mathematical foundations of software engineering/ by Gerard O'Regan.
Reminder of title:	a practical guide to essentials /
Author:	O'Regan, Gerard.
Published:	Cham :Springer Nature Switzerland : : 2023.,
Description:	xxxvii, 519 p. :ill. (some col.), digital ;24 cm.
[NT 15003449]:	1. Fundamentals of Software Engineering -- 2. Software Engineering Mathematics -- 3. Mathematical Prerequisites -- 4. Introduction to Algorithms -- 5 -- Algebra -- 6. Mathematical Induction and Recursion -- 7. Graph Theory -- 8. Sequences, Series and Permutations and Combinations -- 9. A Short History of Logic -- 10. Propositional and Predicate Logic -- 11. Advanced Topics in Logic -- 12. Language Theory and Semantics -- 13. Automata Theory -- 14. Computability and Decidability -- 15. Software Reliability and Dependability.
Contained By:	Springer Nature eBook
Subject:	Software engineering - Mathematics. -
Online resource:	https://doi.org/10.1007/978-3-031-26212-8
ISBN:	9783031262128

Mathematical foundations of software engineering = a practical guide to essentials /
O'Regan, Gerard.

Mathematical foundations of software engineeringa practical guide to essentials /[electronic resource] :by Gerard O'Regan. - Cham :Springer Nature Switzerland :2023. - xxxvii, 519 p. :ill. (some col.), digital ;24 cm. - Texts in computer science,1868-095X. - Texts in computer science..

1. Fundamentals of Software Engineering -- 2. Software Engineering Mathematics -- 3. Mathematical Prerequisites -- 4. Introduction to Algorithms -- 5 -- Algebra -- 6. Mathematical Induction and Recursion -- 7. Graph Theory -- 8. Sequences, Series and Permutations and Combinations -- 9. A Short History of Logic -- 10. Propositional and Predicate Logic -- 11. Advanced Topics in Logic -- 12. Language Theory and Semantics -- 13. Automata Theory -- 14. Computability and Decidability -- 15. Software Reliability and Dependability.

This essential 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. Dr. Gerard O'Regan is an Assistant Professor in Mathematics at the University of Central Asia in Kyrgyzstan. His research interests include software quality and software process　improvement, mathematical approaches to software quality, and the history of computing. He is the author of several books in the Mathematics and Computing fields with Springer.

ISBN: 9783031262128

Standard No.: 10.1007/978-3-031-26212-8doiSubjects--Topical Terms:

3607171
Software engineering
--Mathematics.

LC Class. No.: QA76.9.M35

Dewey Class. No.: 005.10151

Mathematical foundations of software engineering = a practical guide to essentials /
LDR:03707nmm a2200361 a 4500 001 2317049
003 DE-He213
005 20230504125733.0
006 m d
007 cr nn 008maaau
008 230902s2023 sz s 0 eng d
020 $a 9783031262128 $q (electronic bk.)
020 $a 9783031262111 $q (paper)
024 7 $a 10.1007/978-3-031-26212-8 $2 doi
035 $a 978-3-031-26212-8
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.M35
072 7 $a UYAM $2 bicssc
072 7 $a PBD $2 bicssc
072 7 $a COM018000 $2 bisacsh
072 7 $a UYAM $2 thema
072 7 $a PBD $2 thema
082 0 4 $a 005.10151 $2 23
090 $a QA76.9.M35 $b O66 2023
100 1 $a O'Regan, Gerard. $3 2068195
245 1 0 $a Mathematical foundations of software engineering $h [electronic resource] : $b a practical guide to essentials / $c by Gerard O'Regan.
260 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2023.
300 $a xxxvii, 519 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Texts in computer science, $x 1868-095X
505 0 $a 1. Fundamentals of Software Engineering -- 2. Software Engineering Mathematics -- 3. Mathematical Prerequisites -- 4. Introduction to Algorithms -- 5 -- Algebra -- 6. Mathematical Induction and Recursion -- 7. Graph Theory -- 8. Sequences, Series and Permutations and Combinations -- 9. A Short History of Logic -- 10. Propositional and Predicate Logic -- 11. Advanced Topics in Logic -- 12. Language Theory and Semantics -- 13. Automata Theory -- 14. Computability and Decidability -- 15. Software Reliability and Dependability.
520 $a This essential 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. Dr. Gerard O'Regan is an Assistant Professor in Mathematics at the University of Central Asia in Kyrgyzstan. His research interests include software quality and software process　improvement, mathematical approaches to software quality, and the history of computing. He is the author of several books in the Mathematics and Computing fields with Springer.
650 0 $a Software engineering $x Mathematics. $3 3607171
650 1 4 $a Discrete Mathematics in Computer Science. $3 892513
650 2 4 $a Software Engineering. $3 890874
650 2 4 $a Computer Science Logic and Foundations of Programming. $3 3538531
650 2 4 $a Probability and Statistics in Computer Science. $3 891072
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Texts in computer science. $3 1567573
856 4 0 $u https://doi.org/10.1007/978-3-031-26212-8
950 $a Computer Science (SpringerNature-11645)