{"product_id":"mathematical-foundations-of-software-engineering-von-gerard-oregan","title":"Mathematical Foundations of Software Engineering","description":"\n                                \n                \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\n                                \n                \u003cp\u003e\n                                        \n                    \u003cb\u003eTopics and features:\u003c\/b\u003e\n                                    \n                \u003c\/p\u003e\n                                \n                \u003cul\u003e\n                                          \n                    \n                    \u003cli\u003eAddresses      core mathematics for critical thinking and problem solving\u003c\/li\u003e\n                                          \n                    \n                    \u003cli\u003eDiscusses      propositional and predicate logic and various proof techniques to      demonstrate the correctness of a logical argument.\u003c\/li\u003e\n                                          \n                    \n                    \u003cli\u003eExamines      number theory and its applications to cryptography\u003c\/li\u003e\n                                          \n                    \n                    \u003cli\u003eConsiders      the underlying mathematics of error-correcting codes\u003c\/li\u003e\n                                          \n                    \n                    \u003cli\u003eDiscusses      graph theory and its applications to modelling networks\u003c\/li\u003e\n                                          \n                    \n                    \u003cli\u003eReviews      tools to support software engineering mathematics, including automated and      interactive theorem provers and model checking\u003c\/li\u003e\n                                        \n                    \u003cli\u003eDiscusses      financial software engineering, including simple and      compound interest, probability and statistics, and      operations research\u003c\/li\u003e\n                                          \n                    \n                    \u003cli\u003eDiscusses      software reliability and dependability and explains formal methods used to      derive a program from its specification\u003c\/li\u003e\n                                          \n                    \n                    \u003cli\u003eDiscusses      calculus, matrices, vectors, complex numbers, and quaternions, as well as      applications to graphics and robotics\u003c\/li\u003e\n                                          \n                    \n                    \u003cli\u003eIncludes key      learning topics, summaries, and review questions in each chapter, together      with a useful glossary\u003c\/li\u003e\n                                         \n                \n                \u003c\/ul\u003e\n                                \n                \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\n                                \n                \u003cp\u003e\u003c\/p\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783031262142\"\u003e\u003ch3\u003eA Practical Guide to Essentials\u003c\/h3\u003e\u003c\/div\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783031262111\"\u003e\u003ch3\u003eA Practical Guide to Essentials\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783031262142","offer_id":48614528647493,"sku":"9783031262142","price":64.19,"currency_code":"EUR","in_stock":true},{"title":"Hardcover - 9783031262111","offer_id":46694261096773,"sku":"9783031262111","price":90.94,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/9774f498-7b1c-45e4-a222-49123e2ee33b.jpg?v=1775623453","url":"https:\/\/shop.autorenwelt.de\/en\/products\/mathematical-foundations-of-software-engineering-von-gerard-oregan","provider":"Autorenwelt Shop","version":"1.0","type":"link"}