Predicate calculus and program semantics /

• Main Author: Dijkstra, Edsger Wybe (συγγραφέας)
• Other Authors: Scholten, Carel S. (συγγραφέας)
• Format: Book
• Language: English
• Published: New York : Springer, c1990.
• Series: Texts and monographs in computer science
• Subjects: Ηλεκτρονικοί υπολογιστές > Γλώσσες προγραμματισμού > Σημασιολογία
• Item Description: Περιλαμβάνει ευρετήριο.
• Physical Description: x, 220 σ. : εικ. ; 25 εκ.
• ISBN: 0387969578