アサーションベース設計

タイトルと所在が表示されます

フォーマット:

図書

責任表示:

Harry D. Foster, Adam C. Krolnik, David J. Lacey著 ; 後藤謙治 [ほか] 訳

言語:

日本語

出版情報:

東京 : 丸善, 2004.9

形態:

xxvii, 506p : 挿図 ; 21cm

著者名:

Foster, Harry, 1956- <DA1267220X>

書誌ID:

BA68891212

ISBN:

9784621074497 [4621074490]

子書誌情報

所蔵情報

タイトルが類似している資料

詳細

その他の標題:	Assertion-based design
主題:	集積回路
分類・件名:	NDC8 : 549.7 NDC9 : 549.7 BSH : 集積回路
注記:	監訳: 東野輝夫, 岡野浩三, 中田明夫原書2版の翻訳文献: p[487]-492
タイトルのヨミ、その他のヨミ:	アサーションベースセッケイ
著者名ヨミ:	ゴトウ, ケンジヒガシノ, テルオオカノ, コウゾウナカタ, アキオ
件名のヨミ:	シュウセキカイロ
TTLL:	jpn

1

2

3

4

5

6

7

8

9

10

11

12

1 図書並行システムの検証と実装 : 形式手法CSPに基づく高信頼並行システム開発入門磯部, 祥尚, 東野, 輝夫近代科学社	7 図書詳解・ディジタルIC回路後藤, 公雄(1925-) ラジオ技術社
2 電子ブック並行システムの検証と実装 : 形式手法CSPに基づく高信頼並行システム開発入門磯部, 祥尚, 東野, 輝夫近代科学社	8 図書これだけは知っておきたい脳神経外科ナーシングQ&A 森田, 明夫総合医学社
3 図書生産マネジメントの手法円川, 隆夫(1949-), 伊藤, 謙治(1956-) 朝倉書店	9 図書雨の科学 : 人工降雨の話磯野, 謙治恒星社厚生閣
4 図書論理回路今井, 正治, 武内, 良典, 東野, 輝夫 (1956-), 橋本, 昌宜オーム社	10 電子ブック TAC管理下における直接推定法 : その意義と課題浅野, 謙治恒星社厚生閣
5 電子ブック並行システムの検証と実装 : 形式手法CSPに基づく高信頼並行システム開発入門磯部祥尚, 東野輝夫近代科学社	11 図書大気汚染物質の動態磯野, 謙治東京大学出版会
6 図書人間工学ハンドブック伊藤, 謙治(1956-), 桑野, 園子(1944-), 小松原, 明哲(1957-) 朝倉書店	12 図書やさしく楽しい電子デバイス工学宮尾, 亘(1931-) 日本理工出版会

1 図書並行システムの検証と実装 : 形式手法CSPに基づく高信頼並行システム開発入門磯部, 祥尚, 東野, 輝夫近代科学社	7 図書詳解・ディジタルIC回路後藤, 公雄(1925-) ラジオ技術社
2 電子ブック並行システムの検証と実装 : 形式手法CSPに基づく高信頼並行システム開発入門磯部, 祥尚, 東野, 輝夫近代科学社	8 図書これだけは知っておきたい脳神経外科ナーシングQ&A 森田, 明夫総合医学社
3 図書生産マネジメントの手法円川, 隆夫(1949-), 伊藤, 謙治(1956-) 朝倉書店	9 図書雨の科学 : 人工降雨の話磯野, 謙治恒星社厚生閣
4 図書論理回路今井, 正治, 武内, 良典, 東野, 輝夫 (1956-), 橋本, 昌宜オーム社	10 電子ブック TAC管理下における直接推定法 : その意義と課題浅野, 謙治恒星社厚生閣
5 電子ブック並行システムの検証と実装 : 形式手法CSPに基づく高信頼並行システム開発入門磯部祥尚, 東野輝夫近代科学社	11 図書大気汚染物質の動態磯野, 謙治東京大学出版会
6 図書人間工学ハンドブック伊藤, 謙治(1956-), 桑野, 園子(1944-), 小松原, 明哲(1957-) 朝倉書店	12 図書やさしく楽しい電子デバイス工学宮尾, 亘(1931-) 日本理工出版会