close
1.

図書
図書
1. 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
所蔵情報: loading…
2.

図書
図書
2. Formal aspects of VLSI design : proceedings of the 1985 Edinburgh Workshop on VLSI, Edinburgh, Scotland, U.K.
editors, George J. Milne and P.A. Subramanyam
出版情報: Amsterdam ; Tokyo : North Holland, 1986
所蔵情報: loading…