著者典拠情報

著者標目形：
Hunt, Warren A., 1958-
属性：
Personal
日付：
1958-
注記：
FM8501, 1994: CIP t.p. (Warren A. Hunt, Jr.) t.p. verso (Computational Logic Inc., Austin, TX) data sheet (b. 06-26-58)
SRC:FM8501 : a verified microprocessor / Warren A. Hunt, Jr(Springer-Verlag, 1994)
EDSRC:Formal methods in computer-aided design, c2000: t.p. (Warren A. Hunt Jr.) t.p. verso (IBM Corporation, Austin Research Laboratories, Austin, TX)
著者典拠ID：
DA08281388


1.

図書
図書
1. Computer aided verification : 15th International Conference, CAV 2003, Boulder, Co, USA, July 8-12, 2003 : proceedings
Warren A. Hunt, Jr., Fabio Somenzi (eds.)
出版情報: Berlin : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2725
所蔵情報: 図書館
2.

図書
図書
2. Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings
Warren A. Hunt Jr., Steven D. Johnson (eds.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1954
所蔵情報: 図書館
3.

図書
図書
3. FM8501 : a verified microprocessor (: gw ; : us)
Warren A. Hunt, Jr
出版情報: Berlin ; Tokyo : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 795 . Lecture notes in artificial intelligence
所蔵情報: 図書館