Verification of Sequential and Concurrent Programs

• Κύριοι συγγραφείς: Apt, Krzysztof R. (Συγγραφέας), Boer, Frank S. de (Συγγραφέας), Olderog, Ernst-Rüdiger (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: London : Springer London, 2009.
• Σειρά: Texts in Computer Science,
• Θέματα: Computer science.; Algorithms.; Computer logic.; Mathematical logic.; Computer Science.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Algorithm Analysis and Problem Complexity.

Computer programs are an indispensable part of many of the systems we rely upon in our daily lives, and the proper functioning and safety of these systems is of paramount importance. The development of methods that ensure program correctness is therefore a key challenge for computer scientists. This...