博士論文

プロトコルの記述と検証を目的とした時間論理の応用

Icons representing 博士論文

プロトコルの記述と検証を目的とした時間論理の応用

Call No. (NDL)
UT51-60-S189
Bibliographic ID of National Diet Library
000000182401
Material type
博士論文
Author
越田一郎 [著]
Publisher
-
Publication date
-
Material Format
Paper
Capacity, size, etc.
-
Name of awarding university/degree
東京大学,工学博士
View All

Notes on use

Note (General):

博士論文

Search by Bookstore

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

Material Type
博士論文
Title Transcription
プロトコル ノ キジュツ ト ケンショウ オ モクテキ ト シタ ジカン ロンリ ノ オウヨウ
Author/Editor
越田一郎 [著]
Author Heading
越田, 一郎 コシダ, イチロウ
Extent
Degree grantor/type
東京大学
Date Granted
昭和60年3月29日
Date Granted (W3CDTF)
1985
Dissertation Number
甲第6731号