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

• Other Authors: Kozen, Dexter 1951- (Editor)
• Format: Book
• Language: English
• Published: Berlin Springer-Verlag 1982
• Series: Lecture notes in computer science 131
• Subjects: Ηλεκτρονικοί υπολογιστές > Προγράμματα