Logics of programs Workshop, Yorktown Heights, New York, May 1981

• Άλλοι συγγραφείς: Kozen, Dexter 1951- (Επιμελητής έκδοσης)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin Springer-Verlag 1982
• Σειρά: Lecture notes in computer science 131
• Θέματα: Ηλεκτρονικοί υπολογιστές > Προγράμματα