博士論文
書影書影

A protocol specification methodology based on the extended recursive graph formalism

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

A protocol specification methodology based on the extended recursive graph formalism

国立国会図書館請求記号
UT51-89-S90
国立国会図書館書誌ID
000000225728
国立国会図書館永続的識別子
info:ndljp/pid/11568518
資料種別
博士論文
著者
吉田広行 [著]
出版者
-
出版年
-
資料形態
紙・デジタル
ページ数・大きさ等
-
授与大学名・学位
東京大学,理学博士
すべて見る

資料に関する注記

一般注記:

博士論文

書店で探す

書誌情報

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

デジタル

資料種別
博士論文
著者・編者
吉田広行 [著]
著者標目
吉田, 広行 ヨシダ, ヒロユキ
並列タイトル等
拡張再帰グラフ型式にもとづくプロトコル仕様記述方式 カクチョウ サイキ グラフ ケイシキ ニ モトズク プロトコル シヨウ キジュツ ホウシキ
授与機関名
東京大学
授与年月日
平成1年3月29日
授与年月日(W3CDTF)
1989
報告番号
甲第7971号
学位
理学博士