モジュールシステムの設計と検証に関する研究
Available with Digitized Contents Transmission Service
Find on the publisher's website
NDL Digital Collections
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
Provided by：国立国会図書館デジタルコレクションLink to Help Page
目次
p1
1 序論
p1
2 準備
p4
2.1 代数仕様
p4
2.2 代数仕様言語CafeOBJ
p8
Search by Bookstore
Read in Disability Resources
- Mina Search
- プレーンテキスト
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
- 北陸先端科学技術大学院大学
- Date Granted
- 平成11年3月23日
- Date Granted (W3CDTF)
- 1999
- Dissertation Number
- 甲第69号
- Degree Type
- 博士 (情報科学)