博士論文
書影書影

A study on formal specification language and its translator generator

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

A study on formal specification language and its translator generator

国立国会図書館請求記号
UT51-91-K424
国立国会図書館書誌ID
000000240899
国立国会図書館永続的識別子
info:ndljp/pid/3054848
資料種別
博士論文
著者
尹仙淑 [著]
出版者
-
出版年
-
資料形態
紙・デジタル
ページ数・大きさ等
-
授与大学名・学位
早稲田大学,理学博士
すべて見る

資料に関する注記

一般注記:

博士論文

書店で探す

障害者向け資料で読む

目次

  • Table of Contents

    p2

  • Chapter1.Introduction

    p4

  • 1.1 Background

    p5

  • 1.2 Purpose of This Thesis

    p9

  • References

    p12

障害者向け資料で読む

書誌情報

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

デジタル

資料種別
博士論文
著者・編者
尹仙淑 [著]
著者標目
尹, 仙淑 ユン, センスク
並列タイトル等
形式的仕様記述言語とその変換系生成に関する研究 ケイシキテキ シヨウ キジュツ ゲンゴ ト ソノ ヘンカンケイ セイセイ ニ カンスル ケンキュウ
授与機関名
早稲田大学
授与年月日
平成2年6月21日
授与年月日(W3CDTF)
1990
報告番号
甲第848号
学位
理学博士