{"product_id":"mathematical-foundations-of-software-engineering-a-practical-guide-to-essentials-9783031262142","title":"Mathematical Foundations of Software Engineering: A Practical Guide to Essentials","description":"\u003cp\u003e • Author(s): Gerard O'Regan\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Computer Science\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\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","brand":"Springer","offers":[{"title":"Paperback","offer_id":45284371824791,"sku":"9783031262142","price":4366.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783031262142.webp?v=1769280977","url":"https:\/\/atlanticbooks.com\/products\/mathematical-foundations-of-software-engineering-a-practical-guide-to-essentials-9783031262142","provider":"Atlantic Books","version":"1.0","type":"link"}