書店で探す
全国の図書館の所蔵
国立国会図書館以外の全国の図書館の所蔵状況を表示します。
所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください
関東
埼玉県立久喜図書館
紙- 請求記号：
- 549.7-ﾍﾘ
- 図書登録番号：
- 101732170
東京都立中央図書館
紙- 請求記号：
- 549.7-5044-2006
- 図書登録番号：
- 5012339925
横浜市立図書館
紙- 請求記号：
- 549.7
- 図書登録番号：
- 2036195536
近畿
滋賀県立図書館
紙- 請求記号：
- 3-5497-ﾊ
- 図書登録番号：
- 141095067
大阪府立中央図書館
紙- 請求記号：
- 549.7/121N
- 図書登録番号：
- 1115292565
書店で探す
出版書誌データベース 
から購入できる書店を探す
『Books』は各出版社から提供された情報による出版業界のデータベースです。 現在入手可能な紙の本と電子書籍を検索することができます。
別の方法で探す
書誌情報
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。
- 資料種別
- 図書
- ISBN
- 4-7898-3615-0
- タイトルよみ
- ベリフィケーション メソドロジ マニュアル : System Verilog デ LSI キノウ ケンショウ プロセス オ テッテイ カイゼン
- 著者・編者
- Janick Bergeron, Eduard Cerny, Alan Hunter, Andrew Nightingale 著STARC, ARM, Synopsys 監訳
- 著者標目
- 半導体理工学研究センター ハンドウタイ リコウガク ケンキュウ センター ( 01039160 )典拠
- 出版事項
- 出版年月日等
- 2006.4
- 出版年（W3CDTF）
- 2006
- 数量
- 455p
- 大きさ
- 24cm
- その他のタイトル
- Verification methodology manual for SystemVerilog
- 出版地（国名コード）
- JP
- 本文の言語コード
- jpn
- 原文の言語コード
- eng
- NDC9版
- NDLC
- 対象利用者
- 一般
- 一般注記
- 原タイトル: Verification methodology manual for SystemVerilog
- 入手条件・定価
- 3800円
- 所蔵機関
- 国立国会図書館
- 請求記号
- ND386-H148
- 連携機関・データベース
- 国立国会図書館 : 国立国会図書館蔵書
- 書誌ID（NDLBibID）
- 000008147077
- 全国書誌番号
- 21012507
- 目録規則
- 日本目録規則1987年版改訂版
- 整理区分コード
- 111