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: Ηλεκτρονικοί υπολογιστές > Προγράμματα
• Physical Description: vi, 429 σ. πιν. 25 εκ.
• ISBN: 354011212X