WEKO3
-
RootNode
アイテム
高度な並列性を内部にもつソフトウェアシステムに対する仕様及び検証技法について
https://ipsj.ixsq.nii.ac.jp/records/232186
https://ipsj.ixsq.nii.ac.jp/records/23218684a13b4f-aec1-4516-99de-fa91f72742e9
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
WPRO1979013.pdf (25.1 MB)
|
|
|
| オープンアクセス | ||
| Item type | Symposium(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1979-01-09 | |||||||
| タイトル | ||||||||
| タイトル | 高度な並列性を内部にもつソフトウェアシステムに対する仕様及び検証技法について | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||
| 資源タイプ | conference paper | |||||||
| 著者所属 | ||||||||
| 東京工業大学理学部情報科学科 | ||||||||
| 著者名 |
米澤, 明憲
× 米澤, 明憲
|
|||||||
| 書誌情報 |
第20回プログラミング・シンポジウム報告集 巻 1979, p. 71-86, 発行日 1979-01-09 |
|||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
