Help
Help
図書

Formalization of system LSI specification and automatic generation of verification items : in English (Programming science technical report = 算譜科学研究速報 ; AIST-PS-2009-6)

Icons representing 図書

Formalization of system LSI specification and automatic generation of verification items : in English

(Programming science technical report = 算譜科学研究速報 ; AIST-PS-2009-6)

Call No. (NDL)
M159-B97
Bibliographic ID of National Diet Library
000010668110
Material type
図書
Author
Tatsuya Abe, Takashi Higuchi, Rintaro Imai, Yoshiki Kinoshita, Satoshi Nakano, Keishi Okamoto, Masaya Saito, Makoto Takeyama [著]
Publisher
Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology
Publication date
2009.7
Material Format
Paper
Capacity, size, etc.
2p ; 30cm
NDC
-
View All

Search by Bookstore

Search by Bookstore

Search by Bookstore

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
Formalization of system LSI specification and automatic generation of verification items : in English
Author/Editor
Tatsuya Abe, Takashi Higuchi, Rintaro Imai, Yoshiki Kinoshita, Satoshi Nakano, Keishi Okamoto, Masaya Saito, Makoto Takeyama [著]
Series Title
Programming science technical report = 算譜科学研究速報 ; AIST-PS-2009-6
Author/Editor (Series Title)
産業技術総合研究所 (システム検証研究センター) 編
Publication, Distribution, etc.
Toyonaka : Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology
Publication Date
2009.7
Publication Date (W3CDTF)
2009
Extent
2p
Size
30cm