博士論文

Pascal型プログラムの公理論的検証法に関する研究

Icons representing 博士論文

Pascal型プログラムの公理論的検証法に関する研究

Call No. (NDL)
UT51-58-E547
Bibliographic ID of National Diet Library
000007466584
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

Search by Bookstore

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
Pascal型プログラムの公理論的検証法に関する研究
Title Transcription
Pascalガタ プログラム ノ コウリロンテキ ケンショウホウ ニ カンスル ケンキュウ
Author/Editor
荒木啓二郎 [著]
Author Heading
荒木, 啓二郎 アラキ, ケイジロウ
Extent
冊
Degree grantor/type
九州大学
Date Granted
昭和57年11月26日
Date Granted (W3CDTF)
1982
Dissertation Number
乙第2915号