WEKO3
アイテム
軌跡準同型によるプログラムの仕様の保存性
https://ipsj.ixsq.nii.ac.jp/records/237479
https://ipsj.ixsq.nii.ac.jp/records/237479c8727acc-94a9-4a5d-8557-7eef920e1741
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
WPRO1989019.pdf (10.4 MB)
|
|
|
| オープンアクセス | ||
| Item type | Symposium(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 1989-01-10 | |||||||||||
| タイトル | ||||||||||||
| タイトル | 軌跡準同型によるプログラムの仕様の保存性 | |||||||||||
| 言語 | ||||||||||||
| 言語 | jpn | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||
| 資源タイプ | conference paper | |||||||||||
| 著者所属 | ||||||||||||
| 筑波大学電子・情報工学系 | ||||||||||||
| 著者所属 | ||||||||||||
| 筑波大学電子・情報工学系 | ||||||||||||
| 著者所属 | ||||||||||||
| 筑波大学電子・情報工学系 | ||||||||||||
| 著者名 |
水谷, 哲也
× 水谷, 哲也
× 五十嵐, 滋
× 辻, 尚史
|
|||||||||||
| 著者名(英) |
Mizutani, Tetsuya
× Mizutani, Tetsuya
× Igarashi, Shigeru
× Tsuji, Takashi
|
|||||||||||
| 書誌情報 |
第30回プログラミング・シンポジウム報告集 巻 1989, p. 181-190, 発行日 1989-01-10 |
|||||||||||
| 出版者 | ||||||||||||
| 言語 | ja | |||||||||||
| 出版者 | 情報処理学会 | |||||||||||
