博士論文
ImageImage

仕様の検証機構を備えた論理設計自動化システムの研究

Icons representing 博士論文
The cover of this title could differ from library to library. Link to Help Page

仕様の検証機構を備えた論理設計自動化システムの研究

Call No. (NDL)
UT51-93-P195
Bibliographic ID of National Diet Library
000000262303
Persistent ID (NDL)
info:ndljp/pid/3069185
Material type
博士論文
Author
丸山文宏 [著]
Publisher
-
Publication date
-
Material Format
Paper・Digital
Capacity, size, etc.
-
Name of awarding university/degree
東京大学,博士 (工学)
View All

Notes on use

Note (General):

博士論文

Table of Contents

  • 目次

    p1

  • 第1章 序論

    p1

  • 1.1 研究の背景

    p2

  • 1.2 研究の目的と概要

    p5

  • 第2章 従来の研究

    p8

Read in Disability Resources

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.

Paper Digital

Material Type
博士論文
Title Transcription
シヨウ ノ ケンショウ キコウ オ ソナエタ ロンリ セッケイ ジドウカ システム ノ ケンキュウ
Author/Editor
丸山文宏 [著]
Author Heading
丸山, 文宏 マルヤマ, フミヒロ
Degree grantor/type
東京大学
Date Granted
平成3年9月18日
Date Granted (W3CDTF)
1991
Dissertation Number
乙第10345号
Degree Type
博士 (工学)