雑誌電子情報通信学会技術研究報告 : 信学技報
Volume number106(388)-106(399) 20061100-20061200(刊行順不同)
Article算術演算回路の形式的...

算術演算回路の形式的検証手法とその評価

Icons representing 記事

算術演算回路の形式的検証手法とその評価

Call No. (NDL)
Z16-940
Bibliographic ID of National Diet Library
8572312
Material type
記事
Author
渡邉 裕樹ほか
Publisher
東京 : 電子情報通信学会
Publication date
2006-11-28
Material Format
Paper
Journal name
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 106(390) 2006.11.28
Publication Page
p.17～22
View All

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
記事
Title
算術演算回路の形式的検証手法とその評価
Author/Editor
渡邉 裕樹
本間 尚文
青木 孝文 他
Author Heading
渡邉 裕樹
本間 尚文
青木 孝文
Periodical title
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報
No. or year of volume/issue
106(390) 2006.11.28
Volume
106
Issue
390
Pages
17～22
Publication date of volume/issue (W3CDTF)
2006-11-28