{"product_id":"9783031262111","title":"Mathematical Foundations of Software Engineering : A Practical Guide to Essentials (Texts in Computer Science)","description":"\u003cp\u003eThis 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. \u003c\/p\u003e\u003cp\u003e\u003cb\u003eTopics and features:\u003c\/b\u003e\u003c\/p\u003e\u003cul\u003e \u003cli\u003eAddresses core mathematics for critical thinking and problem solving\u003c\/li\u003e \u003cli\u003eDiscusses propositional and predicate logic and various proof techniques to demonstrate the correctness of a logical argument.\u003c\/li\u003e \u003cli\u003eExamines number theory and its applications to cryptography\u003c\/li\u003e \u003cli\u003eConsiders the underlying mathematics of error-correcting codes\u003c\/li\u003e \u003cli\u003eDiscusses graph theory and its applications to modelling networks\u003c\/li\u003e \u003cli\u003eReviews tools to support software engineering mathematics, including automated and interactive theorem provers and model checking\u003c\/li\u003e\n\u003cli\u003eDiscusses financial software engineering, including simple and compound interest, probability and statistics, and operations research\u003c\/li\u003e \u003cli\u003eDiscusses software reliability and dependability and explains formal methods used to derive a program from its specification\u003c\/li\u003e \u003cli\u003eDiscusses calculus, matrices, vectors, complex numbers, and quaternions, as well as applications to graphics and robotics\u003c\/li\u003e \u003cli\u003eIncludes key learning topics, summaries, and review questions in each chapter, together with a useful glossary\u003c\/li\u003e \u003c\/ul\u003e\u003cp\u003eThis 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.\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e \u003cp\u003e1. 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.\u003c\/p\u003e \u003cp\u003e\u003cstrong\u003eDr. Gerard O'Regan\u003c\/strong\u003e is a CMMI software process improvement consultant with research interests including software quality and software process improvement, mathematical approaches to software quality, and the history of computing. He is the author of such Springer titles as \u003cem\u003eIntroduction to the History of Computing\u003c\/em\u003e, \u003cem\u003ePillars of Computing\u003c\/em\u003e, \u003cem\u003eIntroduction to Software Quality\u003c\/em\u003e,\u003cem\u003e Giants of Computing\u003c\/em\u003e, and \u003cem\u003eMathematics in Computing\u003c\/em\u003e.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":48851936968939,"sku":"00000_00000_00000_00000","price":183.1,"currency_code":"SGD","in_stock":true}],"url":"https:\/\/kinokuniya.com.sg\/products\/9783031262111","provider":"Books Kinokuniya Singapore","version":"1.0","type":"link"}