著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "Bergé, Jean-Michel and Levia, Oz and Rouillard, Jacques",Hardware/software co-design and co-verification,,Kluwer Academic Publishers,1997,Current issues in electronic modeling,,"0792396898,0792396901",,https://cir.nii.ac.jp/crid/1130282272673226496