WEKO3
アイテム
イオタ言語とイオタシステム ―階層的プログラム開発とその検証のための言語と方法とシステム―
https://ipsj.ixsq.nii.ac.jp/records/238143
https://ipsj.ixsq.nii.ac.jp/records/238143d8c41497-4d12-48df-86dd-d520a079ecf5
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
WPRO1978027.pdf (11.4 MB)
|
|
|
| オープンアクセス | ||
| Item type | Symposium(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 1978-01-11 | |||||||||||
| タイトル | ||||||||||||
| タイトル | イオタ言語とイオタシステム ―階層的プログラム開発とその検証のための言語と方法とシステム― | |||||||||||
| 言語 | ||||||||||||
| 言語 | jpn | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||
| 資源タイプ | conference paper | |||||||||||
| 著者所属 | ||||||||||||
| 京都大学数理解析研究所 | ||||||||||||
| 著者所属 | ||||||||||||
| 京都大学数理解析研究所 | ||||||||||||
| 著者所属 | ||||||||||||
| 香川大学経済学部 | ||||||||||||
| 著者名 |
中島, 玲二
× 中島, 玲二
× 中原, 早生
× 本田, 道夫
|
|||||||||||
| 書誌情報 |
第19回プログラミング・シンポジウム報告集 巻 1978, p. 121-132, 発行日 1978-01-11 |
|||||||||||
| 出版者 | ||||||||||||
| 言語 | ja | |||||||||||
| 出版者 | 情報処理学会 | |||||||||||
