Correct hardware design and verification methods : IFIP WG 10.2 Advanced Research Working Conference, CHARME '93, Arles, Frances [i.e. France], May 24-26, 1993 : proceedings / George J. Milne, Laurence Pierre (eds.).
もっともっと探す
+もっと詳しい情報
出版社: Springer-Verlag(c1993.)
ISBN-10: 354056778X ISBN-13: 9783540567783