Reset Filters
Circulation Type: In-Library Use Only

Author Results for Gordon M.J.C

Gordon,M.J.C
Hoare,C.A.R. Charles Antony Richard, 1934
organized and edited by C.A.R. Hoare, M.J.C. Gordon

1
Mechanized reasoning and hardware design

Cover is for reference only
Group Author: Hoare C.A.R. Charles Antony Richard, 1934; Gordon M.J.C
Published: Prentice Hall,
Publication Dates: 1992.
Call Number: TP387-53/M486/1991/
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —