product
1485661Mathematical Foundations of Software Engineeringhttps://www.gandhi.com.mx/mathematical-foundations-of-software-engineering/phttps://gandhi.vtexassets.com/arquivos/ids/1307828/e2dfae80-77eb-4534-a143-50cd1f8ed594.jpg?v=63833783678593000011551283MXNSpringer Nature SwitzerlandInStock/Ebooks/<p>This 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.</p><p><strong>Topics and features:</strong></p><ul><li>Addresses core mathematics for critical thinking and problem solving</li><li>Discusses propositional and predicate logic and various proof techniques to demonstrate the correctness of a logical argument.</li><li>Examines number theory and its applications to cryptography</li><li>Considers the underlying mathematics of error-correcting codes</li><li>Discusses graph theory and its applications to modelling networks</li><li>Reviews tools to support software engineering mathematics, including automated and interactive theorem provers and model checking</li><li>Discusses financial software engineering, including simple and compound interest, probability and statistics, and operations research</li><li>Discusses software reliability and dependability and explains formal methods used to derive a program from its specification</li><li>Discusses calculus, matrices, vectors, complex numbers, and quaternions, as well as applications to graphics and robotics</li><li>Includes key learning topics, summaries, and review questions in each chapter, together with a useful glossary</li></ul><p>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.</p>...1470037Mathematical Foundations of Software Engineering11551283https://www.gandhi.com.mx/mathematical-foundations-of-software-engineering/phttps://gandhi.vtexassets.com/arquivos/ids/1307828/e2dfae80-77eb-4534-a143-50cd1f8ed594.jpg?v=638337836785930000InStockMXN99999DIEbook20239783031262128_W3siaWQiOiJiZWQyMzQ2ZC1hZTc0LTRkZjctYWZlYy04NGI0YjgxMTdmNDAiLCJsaXN0UHJpY2UiOjEyODMsImRpc2NvdW50IjoxMjgsInNlbGxpbmdQcmljZSI6MTE1NSwiaW5jbHVkZXNUYXgiOnRydWUsInByaWNlVHlwZSI6Ildob2xlc2FsZSIsImN1cnJlbmN5IjoiTVhOIiwiZnJvbSI6IjIwMjUtMDUtMjhUMTE6MDA6MDBaIiwidG8iOiIyMDI1LTA2LTMwVDIzOjU5OjU5WiIsInJlZ2lvbiI6Ik1YIiwiaXNQcmVvcmRlciI6ZmFsc2V9LHsiaWQiOiI2YWExMGFmZC05YzQxLTQ2MGYtYTkzMy1jOTlhMGU4NTEzMGEiLCJsaXN0UHJpY2UiOjEzMDEsImRpc2NvdW50IjoxMzAsInNlbGxpbmdQcmljZSI6MTE3MSwiaW5jbHVkZXNUYXgiOnRydWUsInByaWNlVHlwZSI6Ildob2xlc2FsZSIsImN1cnJlbmN5IjoiTVhOIiwiZnJvbSI6IjIwMjUtMDctMDFUMDA6MDA6MDBaIiwicmVnaW9uIjoiTVgiLCJpc1ByZW9yZGVyIjpmYWxzZX1d9783031262128_<p>This 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.</p><p><strong>Topics and features:</strong></p><ul><li>Addresses core mathematics for critical thinking and problem solving</li><li>Discusses propositional and predicate logic and various proof techniques to demonstrate the correctness of a logical argument.</li><li>Examines number theory and its applications to cryptography</li><li>Considers the underlying mathematics of error-correcting codes</li><li>Discusses graph theory and its applications to modelling networks</li><li>Reviews tools to support software engineering mathematics, including automated and interactive theorem provers and model checking</li><li>Discusses financial software engineering, including simple and compound interest, probability and statistics, and operations research</li><li>Discusses software reliability and dependability and explains formal methods used to derive a program from its specification</li><li>Discusses calculus, matrices, vectors, complex numbers, and quaternions, as well as applications to graphics and robotics</li><li>Includes key learning topics, summaries, and review questions in each chapter, together with a useful glossary</li></ul><p>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.</p>...9783031262128_Springer Nature Switzerlandlibro_electonico_609d5f21-93a8-3d37-9c76-9ddebd607f0c_9783031262128;9783031262128_9783031262128Gerard OReganInglésMéxico2023-05-04T00:00:00+00:00Springer Nature Switzerland