Books listed by ISBN
>
Prentice Hall
> Michael J. C. Gordan
Michael J. C. Gordan
title
ISBN-13
(ISBN-10)
year of publica-
tion
other author(s)
Mechanized Reasoning and Hardware Design
978-O-13-5724O5-7
(O-13-5724O5-8)
1992
C. A. R. Hoare
C. G.
·
J C
·
J. G.
·
M.C.
·
M G***
·
M J
·
Michael C.
·
Michael G
·
Michael J.
Michael J.C. Gordon