Refine your search
Availability
-
Authors
- Bjorner, D., ed
- Dahl, O J
- Dahl, O.J.
- Dijkstra, E W
- Dijkstra, E.W.
- ed. by D. Bjorner, C...
- Elliott, R., ed
- Hehner, Eric C. R.
- Hoare, C A R
- Hoare, C. A. R.
- Hoare, C. A. R., ed
- Hoare, C.A.R.
- Hoare, C.A.R. (Serie...
- Hoare, C.A.R., ed
- Jones, C. B., ed
- Langmaack, H., ed
- Perrott, R.H., ed
- Seminar on operating...
- Show more
- Show less
-
Holding libraries
-
Item types
-
Series
-
Topics