国立国会図書館サーチ(NDL SEARCH)
検索を開く
メニューを開く
検索
ヘルプ
ログイン
ヘルプ
ログイン
図書
ハードウェアの高位設計・検証支援システム
図書を表すアイコン
ハードウェアの高位設計・検証支援システム
国立国会図書館請求記号
Y151-H13558028
国立国会図書館書誌ID
000007933117
資料種別
図書
著者
谷口健一, 大阪大学 [著]
出版者
[谷口健一]
出版年
2001-2004
資料形態
紙
ページ数・大きさ等
1冊
NDC
-
すべて見る
資料に関する注記
一般注記:
文部科学省科学研究費補助金研究成果報告書
参考資料の請求記号: Y151-H05558031, Y151-H09680339
書店で探す
書店で探す
書店で探す
日本の古本屋
外部サイト
Google Book Search
外部サイト
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
書誌情報を出力
紙
資料種別
図書
タイトル
ハードウェアの高位設計・検証支援システム
タイトルよみ
ハードウェア ノ コウイ セッケイ ケンショウ シエン システム
著者・編者
谷口健一, 大阪大学 [著]
著者標目
谷口, 健一
タニグチ, ケンイチ
大阪大学
オオサカ ダイガク
出版事項
[谷口健一]
出版年月日等
2001-2004
2005.3
出版年(W3CDTF)
2001
2004
数量
1冊
その他のタイトル
研究種目 基盤研究(B)
出版地(国名コード)
JP
本文の言語コード
jpn
eng
件名標目
整数変数つきFSM / プレスブルガー文 / 時相論理式 / 自動検証 / 時間オートマトン群 / 実時間システム
セイスウ ヘンスウツキ FSM / プレスブルガーブン / ジソウ ロンリシキ / ジドウ ケンショウ / ジカン オートマトングン / ジツ ジカン システム
NDLC
Y151
一般注記
文部科学省科学研究費補助金研究成果報告書
参考資料の請求記号: Y151-H05558031, Y151-H09680339
科研費課題番号
13558028
所蔵機関
国立国会図書館
請求記号
Y151-H13558028
連携機関・データベース
国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
書誌ID(NDLBibID)
000007933117
http://id.ndl.go.jp/bib/000007933117
整理区分コード
214
もっと見る