Mathematical foundations software engineering (45 résultats)

Etat : New.

Paperback or Softback. Etat : New. Mathematical Foundations of Software Engineering. Essays in Honour of Tom Maibaum on the Occasion of his 70th Birthday and Retirement. Book.

Paperback. Etat : New.

Etat : As New. Unread book in perfect condition.

Etat : New.

Etat : New. In English.

Paperback. Etat : New.

Etat : New.

Etat : As New. Unread book in perfect condition.

Etat : New. In English.

Paperback. Etat : New.

Etat : New.

Hardcover. Etat : New.

PAP. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

Etat : New.

Etat : New. 2023rd edition NO-PA16APR2015-KAP.

Etat : As New. Unread book in perfect condition.

Etat : New.

Etat : New. In English.

Etat : As New. Unread book in perfect condition.

Etat : New.

Hardback. Etat : New. 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. Topics and features:Addresses core mathematics for critical thinking and problem solvingDiscusses propositional and predicate logic and various proof techniques to demonstrate the correctness of a logical argument.Examines number theory and its applications to cryptographyConsiders the underlying mathematics of error-correcting codesDiscusses graph theory and its applications to modelling networksReviews tools to support software engineering mathematics, including automated and interactive theorem provers and model checkingDiscusses financial software engineering, including simple and compound interest, probability and statistics, and operations researchDiscusses software reliability and dependability and explains formal methods used to derive a program from its specificationDiscusses calculus, matrices, vectors, complex numbers, and quaternions, as well as applications to graphics and roboticsIncludes key learning topics, summaries, and review questions in each chapter, together with a useful glossaryThis 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.…

Taschenbuch. Etat : Neu. Mathematical Foundations of Software Engineering | A Practical Guide to Essentials | Gerard O'Regan | Taschenbuch | Texts in Computer Science | xxxvii | Englisch | 2024 | Springer | EAN 9783031262142 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Etat : New. 1st Edition.

PAP. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

Etat : Hervorragend. Zustand: Hervorragend | Seiten: 560 | Sprache: Englisch | Produktart: Bücher | 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. Topics and features: Addresses core mathematics for critical thinking and problem solving Discusses propositional and predicate logic and various proof techniques to demonstrate the correctness of a logical argument. Examines number theory and its applications to cryptography Considers the underlying mathematics of error-correcting codes Discusses graph theory and its applications to modelling networks Reviews tools to support software engineering mathematics, including automated and interactive theorem provers and model checkingDiscusses financial software engineering, including simple and compound interest, probability and statistics, and operations research Discusses software reliability and dependability and explains formal methods used to derive a program from its specification Discusses calculus, matrices, vectors, complex numbers, and quaternions, as well as applications to graphics and robotics Includes key learning topics, summaries, and review questions in each chapter, together with a useful glossary 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. …

Hardcover. Etat : Brand New. 556 pages. 9.25x6.10x1.42 inches. In Stock.

Hardback. Etat : New. 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. Topics and features:Addresses core mathematics for critical thinking and problem solvingDiscusses propositional and predicate logic and various proof techniques to demonstrate the correctness of a logical argument.Examines number theory and its applications to cryptographyConsiders the underlying mathematics of error-correcting codesDiscusses graph theory and its applications to modelling networksReviews tools to support software engineering mathematics, including automated and interactive theorem provers and model checkingDiscusses financial software engineering, including simple and compound interest, probability and statistics, and operations researchDiscusses software reliability and dependability and explains formal methods used to derive a program from its specificationDiscusses calculus, matrices, vectors, complex numbers, and quaternions, as well as applications to graphics and roboticsIncludes key learning topics, summaries, and review questions in each chapter, together with a useful glossaryThis 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.…

Etat : New. Print on Demand.

Etat : New. Print on Demand.