Gordon, Michael J. C., 1948-
Enlarge text Shrink text-
Save successfulThe item can be found in your Personal ZoneשגיאהLog in to your account to save
Information for Authority record
Other Identifiers
Sources of Information
- His The denotational description of programming languages, c1979:t.p. (Michael J. C. Gordon) CIP data sheet (b. 2/28/48)
- Introduction to HOL, 1993:t.p. (M.J.C. Gordon) pref. (Mike Gordon)
- Wikipedia, viewed July 30, 2018(was a leading British computer scientist; b. February 28, 1948, Ripon Yorkshire, England; d. August 22, 2017)