{"product_id":"9783031262142","title":"Texts in Computer Science: A Practical Guide to Essentials","description":"\u003ch1\u003eTexts in Computer Science: A Practical Guide to Essentials\u003c\/h1\u003e \u003ch2\u003eO'Regan, Gerard\u003c\/h2\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 \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2024-05-06\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783031262142\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-3-031-26212-8\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 519\u003c\/p\u003e ","brand":"Springer Nature Switzerland","offers":[{"title":"Default Title","offer_id":44521658187916,"sku":"9783031262142","price":58.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783031262142.jpg?v=1775734511","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783031262142","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}