WEKO3
アイテム
記号計算の理論を駆使したウェブソフトウェアのモデル化と検証
http://hdl.handle.net/2241/118383
http://hdl.handle.net/2241/1183830a7a0b56-c0b9-4b4e-a96f-830eaa875e36
名前 / ファイル | ライセンス | アクション |
---|---|---|
20300001seika.pdf (328.5 kB)
|
|
Item type | Research Paper(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2013-02-25 | |||||
タイトル | ||||||
言語 | ja | |||||
タイトル | 記号計算の理論を駆使したウェブソフトウェアのモデル化と検証 | |||||
タイトル | ||||||
言語 | en | |||||
タイトル | Modeling and verification of web software based on theories of symbolic computation | |||||
言語 | ||||||
言語 | jpn | |||||
資源タイプ | ||||||
資源 | http://purl.org/coar/resource_type/c_18ws | |||||
タイプ | research report | |||||
アクセス権 | ||||||
アクセス権 | open access | |||||
アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
著者 |
井田, 哲雄
× 井田, 哲雄 |
|||||
内容記述 | ||||||
内容記述タイプ | Other | |||||
内容記述 | 科学研究費助成事業(科学研究費補助金)研究成果報告書:基盤研究(B)2008-2011 課題番号:20300001 |
|||||
言語 | ja | |||||
書誌情報 |
発行日 2012 |