著者典拠情報

著者標目形：
Advanced Research Working Conference on Correct Hardware Design Methodologies
属性：
Meeting
場所：
Arles, France;Frankfurt/Main;Bad Herrenalb, Germany;Livingston, UK
日付：
1993;1995;1999;2001
から見よ参照形：
CHARME
Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Conference on Correct Hardware Design Methodologies, Advanced Research Working
IFIP WG 10.2 Advanced Research Working Conference, CHARME
IFIP WG 10.5 Advanced Research Working Conference, CHARME
注記：
Correct Hardware Design and Verification Methods, c1993: foreword (Advanced Research Working Conference on Correct HARdware Design MEthodologies) t.p. (CHAME, IFIP WG 10.2 Advanced Research Working Conference)
EDSRC: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.)(Springer,c2001)
著者典拠ID：
DA0739064X


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. Correct hardware design and verification methods : IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings
Paolo E. Camurati, Hans Eveking (eds.)
出版情報: Berlin ; New York : Springer, c1995
シリーズ名: Lecture notes in computer science ; 987
所蔵情報: 図書館
3.

図書
図書
3. Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference CHARME '93, Arles, Frances, May 24-26, 1993 : proceedings (: gw ; : us)
George J. Milne, Laurence Pierre (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 683
所蔵情報: 図書館