Correct hardware design and verification methods : 12th IFIP WG 10.5 advanced research working conference, CHARME 2003 : L'Aquila, Italy, October 21-24, 2003 : proceedings. : Oct 2003, L'Aquila, Italy.
(Lecture Notes in Computer Science ; 2860)
国立国会図書館請求記号
M17-04-2324
国立国会図書館書誌ID
000007345992
資料種別
図書
著者
University of L'aquila. Department of Computer Science.ほか