소장자료
| LDR | 04708nam a22005895i 4500 | ||
| 001 | 0100794780▲ | ||
| 003 | DE-He213▲ | ||
| 005 | 20240305135921▲ | ||
| 007 | cr nn 008mamaa▲ | ||
| 008 | 230504s2023 sz | s |||| 0|eng d▲ | ||
| 020 | ▼a9783031262128▼9978-3-031-26212-8▲ | ||
| 024 | 7 | ▼a10.1007/978-3-031-26212-8▼2doi▲ | |
| 050 | 4 | ▼aQA76.9.M35▲ | |
| 050 | 4 | ▼aQA297.4▲ | |
| 082 | 0 | 4 | ▼a004.0151▼223▲ |
| 100 | 1 | ▼aO'Regan, Gerard.▼eauthor.▼4aut▼4http://id.loc.gov/vocabulary/relators/aut▲ | |
| 245 | 1 | 0 | ▼aMathematical Foundations of Software Engineering▼h[electronic resource] :▼bA Practical Guide to Essentials /▼cby Gerard O'Regan.▲ |
| 250 | ▼a1st ed. 2023.▲ | ||
| 264 | 1 | ▼aCham :▼bSpringer Nature Switzerland :▼bImprint: Springer,▼c2023.▲ | |
| 300 | ▼aXXXVII, 519 p. 152 illus., 96 illus. in color.▼bonline resource.▲ | ||
| 336 | ▼atext▼btxt▼2rdacontent▲ | ||
| 337 | ▼acomputer▼bc▼2rdamedia▲ | ||
| 338 | ▼aonline resource▼bcr▼2rdacarrier▲ | ||
| 347 | ▼atext file▼bPDF▼2rda▲ | ||
| 490 | 1 | ▼aTexts in Computer Science,▼x1868-095X▲ | |
| 505 | 0 | ▼a1. 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 | ▼aThis 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 | ▼aComputer science▼xMathematics.▲ | |
| 650 | 0 | ▼aDiscrete mathematics.▲ | |
| 650 | 0 | ▼aSoftware engineering.▲ | |
| 650 | 0 | ▼aComputer science.▲ | |
| 650 | 0 | ▼aMathematical statistics.▲ | |
| 650 | 1 | 4 | ▼aDiscrete Mathematics in Computer Science.▲ |
| 650 | 2 | 4 | ▼aSoftware Engineering.▲ |
| 650 | 2 | 4 | ▼aComputer Science Logic and Foundations of Programming.▲ |
| 650 | 2 | 4 | ▼aProbability and Statistics in Computer Science.▲ |
| 710 | 2 | ▼aSpringerLink (Online service)▲ | |
| 773 | 0 | ▼tSpringer Nature eBook▲ | |
| 776 | 0 | 8 | ▼iPrinted edition:▼z9783031262111▲ |
| 776 | 0 | 8 | ▼iPrinted edition:▼z9783031262135▲ |
| 776 | 0 | 8 | ▼iPrinted edition:▼z9783031262142▲ |
| 830 | 0 | ▼aTexts in Computer Science,▼x1868-095X▲ | |
| 856 | 4 | 0 | ▼uhttps://doi.org/10.1007/978-3-031-26212-8▲ |
Mathematical Foundations of Software Engineering[electronic resource] : A Practical Guide to Essentials
자료유형
국외eBook
서명/책임사항
Mathematical Foundations of Software Engineering [electronic resource] : A Practical Guide to Essentials / by Gerard O'Regan.
개인저자
판사항
1st ed. 2023.
형태사항
XXXVII, 519 p. 152 illus., 96 illus. in color. online resource.
총서사항
내용주기
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
관련 인기대출 도서