WEKO3
アイテム
SPOT - 6：高信頼性ソフトウェア開発のための言語システム
https://ipsj.ixsq.nii.ac.jp/records/22778
https://ipsj.ixsq.nii.ac.jp/records/22778a6e210ec-b0e8-4ee3-9118-ef19dabc0412
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SE77003002.pdf (1.2 MB)
|
Copyright (c) 1977 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1977-09-22 | |||||||
| タイトル | ||||||||
| タイトル | SPOT - 6：高信頼性ソフトウェア開発のための言語システム | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 日本電気（株）中央研究所 | ||||||||
| 著者所属 | ||||||||
| 日本電気（株）中央研究所 | ||||||||
| 著者所属 | ||||||||
| 日本電気（株）中央研究所 | ||||||||
| 著者名 |
岩元莞二
× 岩元莞二
|
|||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10112981 | |||||||
| 書誌情報 |
情報処理学会研究報告ソフトウェア工学（SE） 巻 1977, 号 23(1977-SE-003), p. 1-10, 発行日 1977-09-22 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
