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

このアイテムのアクセス数:122件（2022-06-25 14:38 集計）

このアイテムへのリンクには次のURLをご利用ください:http://hdl.handle.net/11094/1175

ファイル	フォーマット	サイズ	閲覧回数	説明
05905_要旨	pdf	164 KB	30	要旨/Abstract
05905_論文	pdf	3.05 MB	29	論文/Dissertation

タイトル	プログラムの代数的仕様記述法に関する研究
タイトル (ヨミ)	プログラムノダイスウテキシヨウキジュツホウニカンスルケンキュウ
著者	杉山, 裕二杉山, 裕二
著者の別表記	Sugiyama, Youji
著者 (ヨミ)	スギヤマ, ユウジ
学位名	工学博士
学位授与年月日	1983-02-16
学位授与機関	大阪大学
学位授与番号	14401乙第03038号
学位記番号	05905
URL	http://hdl.handle.net/11094/1175
言語	日本語
カテゴリ	博士論文本文あり / その他 / 1982年度
カテゴリ	博士論文 / その他 / 1982年度

著者版フラグ	ETD
NII資源タイプ	学位論文
ローカル資源タイプ	博士論文本文あり
ローカル資源タイプ	博士論文
dcmi資源タイプ	text
DC.title	プログラムの代数的仕様記述法に関する研究
DC.creator	杉山, 裕二
DC.creator	Sugiyama, Youji
DC.language" scheme="DCTERMS.RFC1766	日本語
DC.identifier" scheme="DCTERMS.URI	http://hdl.handle.net/11094/1175
DCTERMS.issued" scheme="DCTERMS.W3CDTF	1983-02-16
citation_title	プログラムの代数的仕様記述法に関する研究
citation_author	杉山, 裕二
citation_language	日本語
citation_public_url	http://hdl.handle.net/11094/1175
citation_date	1983-02-16