001467832 000__ 04928cam\\22006017i\4500
001467832 001__ 1467832
001467832 003__ OCoLC
001467832 005__ 20230707003341.0
001467832 006__ m\\\\\o\\d\\\\\\\\
001467832 007__ cr\un\nnnunnun
001467832 008__ 230510s2023\\\\sz\a\\\\ob\\\\001\0\eng\d
001467832 019__ $$a1378429187
001467832 020__ $$a9783031262128$$q(electronic bk.)
001467832 020__ $$a3031262123$$q(electronic bk.)
001467832 020__ $$z9783031262111
001467832 020__ $$z3031262115
001467832 0247_ $$a10.1007/978-3-031-26212-8$$2doi
001467832 035__ $$aSP(OCoLC)1378745722
001467832 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX
001467832 049__ $$aISEA
001467832 050_4 $$aQA76.9.M35
001467832 08204 $$a005.101/51$$223/eng/20230510
001467832 1001_ $$aO'Regan, Gerard$$q(Cornelius Gerard),$$eauthor.
001467832 24510 $$aMathematical foundations of software engineering :$$ba practical guide to essentials /$$cGerard O'Regan.
001467832 264_1 $$aCham, Switzerland :$$bSpringer,$$c2023.
001467832 300__ $$a1 online resource (xxxvii, 519 pages) :$$billustrations (some color).
001467832 336__ $$atext$$btxt$$2rdacontent
001467832 337__ $$acomputer$$bc$$2rdamedia
001467832 338__ $$aonline resource$$bcr$$2rdacarrier
001467832 4901_ $$aTexts in computer science,$$x1868-095X
001467832 504__ $$aIncludes bibliographical references and index.
001467832 5050_ $$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.
001467832 506__ $$aAccess limited to authorized users.
001467832 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.
001467832 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed May 10, 2023).
001467832 650_0 $$aSoftware engineering$$xMathematics.
001467832 655_0 $$aElectronic books.
001467832 77608 $$iPrint version: $$z3031262115$$z9783031262111$$w(OCoLC)1362487549
001467832 830_0 $$aTexts in computer science,$$x1868-095X
001467832 852__ $$bebk
001467832 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-26212-8$$zOnline Access$$91397441.1
001467832 909CO $$ooai:library.usi.edu:1467832$$pGLOBAL_SET
001467832 980__ $$aBIB
001467832 980__ $$aEBOOK
001467832 982__ $$aEbook
001467832 983__ $$aOnline
001467832 994__ $$a92$$bISE