Search Results - Hoare, C.A.R. 1934- Charles Antony Richard
- Showing 1 - 4 results of 4
-
1
Essays in computing science by Hoare, C. A. R. 1934- Charles Antony Richard
Published 1989Call Number: Loading…Click Here to View Status and Holdings.
Located: Loading…
Book -
2
Operating systems techniques proceedings
Published 1972Other Authors: “…Hoare, C. A. R. 1934- Charles Antony Richard…”
Call Number: Loading…Click Here to View Status and Holdings.
Located: Loading…
Book -
3
VDM '90 VDM and Z - formal methods in software development proceedings of the ... held April 17-21, 1990
Published 1990Other Authors:Call Number: Loading…Click Here to View Status and Holdings.
Located: Loading…
Book -
4
Mathematical logic and programming languages
Published 1985Other Authors: “…Hoare, C. A. R. 1934- Charles Antony Richard…”
Call Number: Loading…Click Here to View Status and Holdings.
Located: Loading…
Book