Normal view
MARC view
- Melham, T. F.
Melham, T. F. (Tom F.) (Personal Name)
Used for/see from:
- Melham, Tom
- Melham, T. (Tom)
IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience (1992 : Nijmegen, Netherlands). Theorem provers in circuit design, 1992: CIP t.p. (T.F. Melham; Univ. of Cambridge Computer Lab., Cambridge, U.K.) book t.p. (T.F. Melham) p. ix (Dr. Tom Melham)
Higher order logic and hardware verification, 1993: t.p. (T. Melham)
Correct hardware design and verification tools, 2001: CIP t.p. (Tom Melham) data sheet (b. Jan. 16, 1960)
