Predicate calculus and program semantics /

• Κύριος συγγραφέας: Dijkstra, Edsger Wybe (συγγραφέας)
• Άλλοι συγγραφείς: Scholten, Carel S. (συγγραφέας)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: New York : Springer, c1990.
• Σειρά: Texts and monographs in computer science
• Θέματα: Ηλεκτρονικοί υπολογιστές > Γλώσσες προγραμματισμού > Σημασιολογία
• Περιγραφή τεκμηρίου: Περιλαμβάνει ευρετήριο.
• Φυσική περιγραφή: x, 220 σ. : εικ. ; 25 εκ.
• ISBN: 0387969578