博士論文

プログラムの代数的仕様記述法に関する研究

Icons representing 博士論文

Digital data available（大阪大学学術情報庫　桜華）

Begin reading now

学術機関リポジトリデータベース（IRDB）（機関リポジトリ）

プログラムの代数的仕様記述法に関する研究

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

Table of Contents

fulltext

  • 05905_Dissertation.pdf fulltext

abstract

  • 05905_Abstract.pdf abstract

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

  • OUKA (Osaka University Knowledge Archive)

    Digital
    You can check the holdings of institutions and databases with which 学術機関リポジトリデータベース（IRDB）（機関リポジトリ） is linked at the site of 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）.
    OUKA (Osaka University Knowledge Archive)

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 Digital

Material Type
博士論文
Title
プログラムの代数的仕様記述法に関する研究
Title Transcription
プログラム ノ ダイスウテキ シヨウ キジュツホウ ニ カンスル ケンキュウ
Author/Editor
杉山裕二 [著]
Author Heading
杉山, 裕二 スギヤマ, ユウジ
Extent
冊
Degree grantor/type
大阪大学
Date Granted
昭和58年2月16日
Date Granted (W3CDTF)
1983
Dissertation Number
乙第3038号