{"product_id":"mathematical-foundations-of-software-engineering-a-practical-guide-to-essentials-9783031262111","title":"Mathematical Foundations of Software Engineering: A Practical Guide to Essentials","description":"\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cblockquote\u003e\n\u003cbr\u003eThis textbook provides an introduction to the mathematical foundations of software engineering, covering topics such as error-correcting codes, cryptography, and financial software engineering. It discusses core mathematics for critical thinking and problem-solving, propositional and predicate logic, number theory, graph theory, and software engineering mathematics tools. It is ideal for computer science students and software engineers seeking to learn how mathematics can assist them in building high-quality and reliable software. \u003c\/blockquote\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eFormat\u003c\/strong\u003e: Hardback\u003cbr\u003e\u003cstrong\u003eLength\u003c\/strong\u003e: 519 pages\u003cbr\u003e\u003cstrong\u003ePublication date\u003c\/strong\u003e: 05 May 2023\u003cbr\u003e\u003cstrong\u003ePublisher\u003c\/strong\u003e: Springer International Publishing AG\u003cbr\u003e\u003c\/p\u003e\u003cp\u003e\u003cbr\u003eThis comprehensive textbook provides an in-depth introduction to the mathematical foundations of software engineering. It explores the diverse applications of mathematics in various fields, including error-correcting codes, cryptography, safety and security critical areas, banking and insurance, as well as traditional engineering applications.\u003cbr\u003e\u003cbr\u003eThe textbook aims to equip readers with the core mathematics necessary for critical thinking and problem-solving. It delves into propositional and predicate logic, presenting various proof techniques to validate logical arguments. It also examines number theory, its significance in cryptography, and the mathematics behind error-correcting codes. Graph theory is explored as a tool for modeling networks, while reviewing tools such as automated theorem provers and model checking are utilized to support software engineering mathematics.\u003cbr\u003e\u003cbr\u003eFinancial software engineering is discussed, encompassing concepts such as simple and compound interest, probability and statistics, and operations research. Software reliability and dependability are explored, with an emphasis on formal methods used to derive programs from their specifications. Calculus, matrices, vectors, complex numbers, and quaternions are covered, showcasing their applications in graphics and robotics.\u003cbr\u003e\u003cbr\u003eEach chapter includes key learning topics, summaries, review questions, and a comprehensive glossary to enhance understanding and retention. This textbook is particularly valuable for computer science students seeking to leverage mathematics in building high-quality and reliable software within time and budget constraints. It also serves as an excellent self-study primer for software engineers, quality professionals, and software managers.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eWeight\u003c\/strong\u003e: 998g\u003cbr\u003e\u003cstrong\u003eDimension\u003c\/strong\u003e: 235 x 155 (mm)\u003cbr\u003e\u003cstrong\u003eISBN-13\u003c\/strong\u003e: 9783031262111\u003cbr\u003e \u003cstrong\u003eEdition number\u003c\/strong\u003e: 1st ed. 2023\u003c\/p\u003e","brand":"Gerard O'Regan","offers":[{"title":"Hardback","offer_id":44266537910522,"sku":"9783031262111","price":62.46,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0522\/4297\/2845\/products\/1684511181319_book.jpg?v=1685881594","url":"https:\/\/shulphink.com\/products\/mathematical-foundations-of-software-engineering-a-practical-guide-to-essentials-9783031262111","provider":"Shulph Ink","version":"1.0","type":"link"}