04381nam 2200577 450 99654796280331620231020211242.03-031-26212-310.1007/978-3-031-26212-8(CKB)5860000000311344(DE-He213)978-3-031-26212-8(MiAaPQ)EBC30766865(Au-PeEL)EBL30766865(BIP)087248710(PPN)270612912(MiAaPQ)EBC30735215(Au-PeEL)EBL30735215(EXLCZ)99586000000031134420231020d2023 uy 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierMathematical Foundations of Software Engineering A Practical Guide to Essentials /Gerard O'ReganFirst edition.Cham, Switzerland :Springer, Springer Nature Switzerland AG,[2023]©20231 online resource (XXXVII, 519 p. 152 illus., 96 illus. in color.) Texts in Computer Science Series3-031-26211-5 Includes bibliographical references and index.1. Fundamentals of Software Engineering -- 2. Software Engineering Mathematics -- 3. Mathematical Prerequisites -- 4. Introduction to Algorithms -- 5 -- Algebra -- 6. Mathematical Induction and Recursion -- 7. Graph Theory -- 8. Sequences, Series and Permutations and Combinations -- 9. A Short History of Logic -- 10. Propositional and Predicate Logic -- 11. Advanced Topics in Logic -- 12. Language Theory and Semantics -- 13. Automata Theory -- 14. Computability and Decidability -- 15. Software Reliability and Dependability.This essential 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 checking Discusses 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. Dr. Gerard O’Regan is an Assistant Professor in Mathematics at the University of Central Asia in Kyrgyzstan. His research interests include software quality and software process　improvement, mathematical approaches to software quality, and the history of computing. He is the author of several books in the Mathematics and Computing fields with Springer.Texts in computer science.Software engineeringSoftware engineeringMathematicsComputer SoftwareComputer ProgrammingComputersSoftware engineering.Software engineeringMathematics.005.1O'Regan Gerard921504MiAaPQMiAaPQMiAaPQBOOK996547962803316Mathematical Foundations of Software Engineering3561868UNISA03128nam 2200733 a 450 991097121010332120240313080053.0978184779595318477959519781781703243178170324897818477947581847794750(CKB)2560000000085773(EBL)1069681(OCoLC)818847462(SSID)ssj0000747088(PQKBManifestationID)12288845(PQKBTitleCode)TC0000747088(PQKBWorkID)10699183(PQKB)10480117(StDuBDS)EDZ0000085830(OCoLC)929426495(MdBmJHUP)muse78100(OCoLC)921282944(Au-PeEL)EBL1069681(CaPaEBR)ebr10627219(CaONFJC)MIL843586(MiAaPQ)EBC1069681(MiAaPQ)EBC4704682(DE-B1597)658948(DE-B1597)9781847794758(Perlego)1526025(EXLCZ)99256000000008577320121207d2011 uy 0engur|n|---|||||txtccrLabour's foreign policy since 1951 /Rhiannon Vickers1st ed.Manchester Manchester University Press20111 online resource (255 p.)The Labour Party and the world ;v. 2Description based upon print version of record.9780719067464 0719067464 Includes bibliographical references and index.Copyright; Contents; Acknowledgements; List of abbreviations; Introduction; 1. Labour's foreign policy approach; 2. The 1950s: new conflicts,rearmament and the bomb; 3. The Wilson governments,1964-1970; 4. Defence and foreign policyin the 1970s; 5. The radicalisation of foreignand defence policy in the 1980s; 6. New Labour triumphs; 7. Labour's foreign policyin the twenty-first century; 8. Conclusion; Bibliography; IndexThis is the second book in a unique two-volume study tracing the evolution of the Labour Party's foreign policy throughout the 20th century to the present date.This is the first comprehensive study of the history of the Labour Party's worldview and foreign policy. It argues that Labour's foreign policy perspective should be seen not as the development of a socialist foreign policy, but as an application of the ideas of liberal internationalism.Volume Two provides a critical analysis of Labour's foreign policy since 1951. It examines Labour's attempts to rethink foreign policy, focusing on intrSocialismGreat BritainHistory20th centuryGreat BritainForeign relations1945-1964SocialismHistory324.241072327.41Vickers Rhiannon800718MiAaPQMiAaPQMiAaPQBOOK9910971210103321Labour's foreign policy since 19514357041UNINA