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

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