WEKO3
アイテム
Metis - ASにおける代数的仕様の検証手続き
http://hdl.handle.net/2241/00135152
http://hdl.handle.net/2241/0013515250ce41a8-427b-423b-bc9d-71e346058937
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-JNL3411004.pdf (1.3 MB)
|
|
| Item type | Journal Article(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2016-02-16 | |||||
| タイトル | ||||||
| タイトル | Metis - ASにおける代数的仕様の検証手続き | |||||
| 言語 | ja | |||||
| タイトル | ||||||
| タイトル | A Verification Procedure for Algebraic Specifications by Metis - AS | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
| 資源タイプ | journal article | |||||
| アクセス権 | ||||||
| アクセス権 | open access | |||||
| アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
| 著者 |
大須賀, 昭彦
× 大須賀, 昭彦× 坂井, 公× 本位田, 真一 |
|||||
| 書誌情報 |
ja : 情報処理学会論文誌 en : IPSJ Journal 巻 34, 号 11, p. 2242-2250, 発行日 1993-11-15 |
|||||
| ISSN | ||||||
| 収録物識別子タイプ | PISSN | |||||
| 収録物識別子 | 0387-5806 | |||||
| NCID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN00116647 | |||||
| 権利情報 | ||||||
| 言語 | ja | |||||
| 権利情報 | 一般社団法人情報処理学会 | |||||
| 出版タイプ | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
| 出版者 | ||||||
| 出版者 | 一般社団法人情報処理学会 | |||||
| 言語 | ja | |||||
| 出版者 | ||||||
| 出版者 | Information Processing Society of Japan (IPSJ) | |||||
| 言語 | en | |||||
| 関連情報 | ||||||
| 関連タイプ | isVersionOf | |||||
| 識別子タイプ | URI | |||||
| 関連識別子 | http://id.nii.ac.jp/1001/00014341/ | |||||
| 言語 | ja | |||||
| 関連名称 | 本文データは学協会の許諾に基づきCiNiiから複製したものである | |||||
