Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications /

• Κύριος συγγραφέας: O'Regan, Gerard (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Σειρά: Undergraduate Topics in Computer Science,
• Θέματα: Computer science.; Computer software > Reusability.; Software engineering.; Mathematical logic.; Computer science > Mathematics.; Computer mathematics.; Computer Science.; Mathematical Logic and Formal Languages.; Software Engineering.; Performance and Reliability.; Mathematical Applications in Computer Science.

This invaluable textbook/reference provides an easy-to-read guide to the fundamentals of formal methods, highlighting the rich applications of formal methods across a diverse range of areas of computing. Topics and features: Introduces the key concepts in software engineering, software reliability a...