著者典拠情報

著者標目形：
Melham, T. F. (Tom F.)
属性：
Personal
から見よ参照形：
Melham, Tom
Melham, T
注記：
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)
SRC:Higher order logic and hardware verification / T. F. Melham(Cambridge University Press, 1993)
著者典拠ID：
DA07893673


1.

図書
図書
1. Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings
Tiziana Margaria, Tom Melham (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2144
所蔵情報: 図書館
2.

図書
図書
2. Higher order logic theorem proving and its applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994 : proceedings (: gw ; : us)
Thomas F. Melham, Juanito Camilleri, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 859
所蔵情報: 図書館
3.

図書
図書
3. Higher order logic and hardware verification
T. Melham
出版情報: Cambridge : Cambridge University Press, 1993
シリーズ名: Cambridge tracts in theoretical computer science ; 31
所蔵情報: 図書館