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 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
所蔵情報: 図書館