Time for Verification Essays in Memory of Amir Pnueli

• Κύριος συγγραφέας: Manna, Zohar
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Peled, Doron A., 1962-
• Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
• Σειρά: Lecture Notes in Computer Science 6200
• Θέματα: Computer science; Logic design; Computer Science; Programming Techniques; Mathematical Logic and Formal Languages; Computation by Abstract Devices; Logics and Meanings of Programs