WEKO3
アイテム
B-3 連を用いたwhileプログラムの意味論(プログラムの理論,B.ソフトウェア)
https://ipsj.ixsq.nii.ac.jp/records/152871
https://ipsj.ixsq.nii.ac.jp/records/15287194b9c64e-1040-4e14-970f-74372abaac65
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00006551389.pdf (205.0 kB)
|
Copyright (c) 2002 by IEICE,IPSJ
|
| Item type | FIT(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2002-09-13 | |||||||||
| タイトル | ||||||||||
| タイトル | B-3 連を用いたwhileプログラムの意味論(プログラムの理論,B.ソフトウェア) | |||||||||
| タイトル | ||||||||||
| 言語 | en | |||||||||
| タイトル | B-3 Semantics of while programs by sets of runs | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||
| 資源タイプ | conference paper | |||||||||
| 著者所属 | ||||||||||
| (独)産業技術総合研究所情報処理研究部門情報科学連携研究体 | ||||||||||
| 著者所属 | ||||||||||
| (独)産業技術総合研究所情報処理研究部門情報科学連携研究体 | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| C.R.T of Informatics, AIST | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| C.R.T of Informatics, AIST | ||||||||||
| 著者名 |
木下, 佳樹
× 木下, 佳樹
× 古澤, 仁
|
|||||||||
| 著者名(英) |
KINOSHITA, Yoshiki
× KINOSHITA, Yoshiki
× Furusawa, Hitoshi
|
|||||||||
| 書誌レコードID | ||||||||||
| 収録物識別子タイプ | NCID | |||||||||
| 収録物識別子 | AA11740605 | |||||||||
| 書誌情報 |
情報科学技術フォーラム一般講演論文集 巻 2002, 号 1, p. 93-94, 発行日 2002-09-13 |
|||||||||
| 出版者 | ||||||||||
| 言語 | ja | |||||||||
| 出版者 | 情報処理学会 | |||||||||
