検索結果書誌詳細：蔵書検索システム

ログインの状態：ログインしていません。ログインすると利用状況の確認等のサービスを利用できます。		カート（予約候補） 0 登録されていません。

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数在庫数予約数などを確認できます。

所蔵数	1	在庫数	1	予約数	0

カートに入れるを押すとこの資料を予約する候補として予約カートに追加します。

いますぐ予約するを押すと認証後この資料をすぐに予約します。

電子書籍を読むを押すと電子図書館に移動しこの資料の電子書籍を読むことができます。

各蔵書資料に関する詳細情報です。

No.	所蔵館	資料番号	請求記号	所蔵場所	配架場所	帯出区分	状態	貸出
1	ミライｏｎ	1116021143	549.7/ｱ-04/	３F	閉架図書	帯出可	在庫	○

この資料の書誌詳細情報です。

書誌種別	図書（一般）
著者名	Harry D.Foster／著　 Adam C.Krolnik／著　 David J.Lacey／著　東野輝夫／監訳　岡野浩三／監訳　中田明夫／監訳　後藤謙治／訳(代表)
著者名ヨミ	フォスター H.D.　クローニック A.C.　レイシー D.J.　ヒガシノテルオ　オカノコウゾウ　ナカタアキオ　ゴトウケンジ
出版者	丸善
出版年月	2004.9
ページ数	506p
大きさ	21cm
ISBN	4-621-07449-0
分類記号	549.7
書名	アサーションベース設計
書名ヨミ	アサーションベースセッケイ
内容紹介	LSI設計技術者およびLSIを使用するシステム設計者らの必読書。アサーション設計の有効性、位置づけ、適用方法等について、豊富な実例を用いて実装に必要な重要項目について解説。原著第2版の翻訳。
著者紹介	Accellera Formal Verification技術委員会の主査。