Κανονική προβολή Προβολή MARC Προβολή ISBD

Dijkstra, Edsger Wybe

Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten. - New York : Springer, c1990. - x, 220 σ. : εικ. ; 25 εκ. - Texts and monographs in computer science .

Περιλαμβάνει ευρετήριο.

ISBN: 0387969578

Subjects--Topical Terms:
Ηλεκτρονικοί υπολογιστές--Γλώσσες προγραμματισμού--Σημασιολογία

Dewey Class. No.: 511.3