Provably Correct Systems

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Hinchey, Mike (Επιμελητής έκδοσης), Bowen, Jonathan P. (Επιμελητής έκδοσης), Olderog, Ernst-Rüdiger (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Σειρά: NASA Monographs in Systems and Software Engineering,
• Θέματα: Computer science.; Computer programming.; Computer logic.; Mathematical logic.; Computers.; Computer Science.; Mathematical Logic and Formal Languages.; Logics and Meanings of Programs.; Models and Principles.; Programming Techniques.

As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost importance. This book consists of twelve chapters and one historical account that were presented at a...