Jump to main content

図書

Verification techniques for system-level design / Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad. (The Morgan Kaufmann series in systems on silicon)

Icons representing 図書

Verification techniques for system-level design / Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad.

(The Morgan Kaufmann series in systems on silicon)

Call No. (NDL)
ND386-B9
Bibliographic ID of National Diet Library
000009243676
Material type
図書
Author
藤田, 昌宏ほか
Publisher
Elsevier/Morgan Kaufmann Publishers
Publication date
c2008.
Material Format
Paper
Capacity, size, etc.
viii, 240 p. : ill. ; 24 cm.
NDC
-
View All

Notes on use

Note (General)：

Related URL: Publisher description http: //www.loc.gov/catdir/enhancements/fy0808/2007028038-d.html.

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
図書
ISBN
9780123706164
Title
Verification techniques for system-level design / Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad.
Series Title
The Morgan Kaufmann series in systems on silicon
Author Heading
藤田, 昌宏 フジタ, マサヒロ ( 01026775 )Authorities
Ghosh, Indradeep.
Prasad, Mukul.
Publication, Distribution, etc.
Amsterdam : Elsevier/Morgan Kaufmann Publishers
Boston : Elsevier/Morgan Kaufmann Publishers
Publication Date
c2008.
Publication Date (W3CDTF)
2008
Extent
viii, 240 p. : ill. ; 24 cm.
Place of Publication (Country Code)
NL