Normal view
MARC view
- Dijkstra, Edsger Wybe.
Dijkstra, Edsger Wybe. (Personal Name)
Machine generated authority record.
Work cat.: (BD-SySUS)0: Dijkstra, Edsger Wybe., Predicate calculus and program semantics /, c1990.