Available with Digitized Contents Transmission Service
Find on the publisher's website
国立国会図書館デジタルコレクション
Available for viewing via the Digitized Contents Transmission Service for Individuals to official registered users of the NDL, who resides in Japan.
Search by Bookstore
Read this material in an accessible format.
Table of Contents
目次
1 緒論
p1
1.1 本研究の背景と概要
p1
1.2 ディジタル回路の設計の上流工程における形式的検証について
p8
2 同期式順序回路の形式的記述及び段階的設計
p14
Search by Bookstore
Read in Disability Resources
- プレーンテキスト
Registered users of Mina Search can download or stream this content.
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.
- Material Type
- 博士論文
- Title Transcription
- ダイスウテキ シュホウ オ モチイタ ドウキシキ ジュンジョ カイロ ノ ダンカイテキ セッケイ オヨビ ケイシキテキ ケンショウ
- Author/Editor
- 北道淳司 [著]
- Author Heading
- 北道, 淳司 キタミチ, ジュンジ
- Degree grantor/type
- 大阪大学
- Date Granted
- 平成10年10月14日
- Date Granted (W3CDTF)
- 1998
- Dissertation Number
- 乙第7614号
- Degree Type
- 博士(工学)