博士論文
書影書影

代数的手法を用いた同期式順序回路の段階的設計および型式的検証

博士論文を表すアイコン
表紙は所蔵館によって異なることがあります ヘルプページへのリンク

代数的手法を用いた同期式順序回路の段階的設計および型式的検証

国立国会図書館請求記号
UT51-99-K96
国立国会図書館書誌ID
000000336320
国立国会図書館永続的識別子
info:ndljp/pid/3151128
資料種別
博士論文
著者
北道淳司 [著]
出版者
-
出版年
-
資料形態
紙・デジタル
ページ数・大きさ等
-
授与大学名・学位
大阪大学,博士(工学)
すべて見る

資料に関する注記

一般注記:

博士論文

書店で探す

障害者向け資料で読む

目次

  • 目次

  • 1 緒論

    p1

  • 1.1 本研究の背景と概要

    p1

  • 1.2 ディジタル回路の設計の上流工程における形式的検証について

    p8

  • 2 同期式順序回路の形式的記述及び段階的設計

    p14

障害者向け資料で読む

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

デジタル

資料種別
博士論文
タイトルよみ
ダイスウテキ シュホウ オ モチイタ ドウキシキ ジュンジョ カイロ ノ ダンカイテキ セッケイ オヨビ ケイシキテキ ケンショウ
著者・編者
北道淳司 [著]
著者標目
北道, 淳司 キタミチ, ジュンジ
授与機関名
大阪大学
授与年月日
平成10年10月14日
授与年月日(W3CDTF)
1998
報告番号
乙第7614号
学位
博士(工学)