Analysis of Electronic Commerce Protocols in Algebraic Specification Languages

資料に関する注記

一般注記：: 北陸先端科学技術大学院大学 21世紀COEシンポジウム「検証進化可能電子社会」 = JAIST 21st Century COE Symposium “Verifiable and Evolvable e-Society”, 開催：2007年9月6日～7日, 開催場所：キャンパス・イノベーションセン...

書店で探す

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

その他

JAIST学術研究成果リポジトリ
デジタル
連携先のサイトで、学術機関リポジトリデータベース（IRDB）（機関リポジトリ）が連携している機関・データベースの所蔵状況を確認できます。
JAIST学術研究成果リポジトリのサイトでこの本を確認

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

資料種別: 文書・図像類
タイトル: Analysis of Electronic Commerce Protocols in Algebraic Specification Languages
著者・編者: Ogata, Kazuhiro
Futatsugi, Kokichi
著者標目: Ogata, Kazuhiro
Futatsugi, Kokichi
出版年月日等: 2007-09-06
出版年（W3CDTF）: 2007-09-06
掲載ページ: 1-22
本文の言語コード: eng
対象利用者: 一般
一般注記: 北陸先端科学技術大学院大学 21世紀COEシンポジウム「検証進化可能電子社会」 = JAIST 21st Century COE Symposium “Verifiable and Evolvable e-Society”, 開催：2007年9月6日～7日, 開催場所：キャンパス・イノベーションセンター東京国際会議室(1F)
2007年9月6日（木）, 「JAIST-COE/AIST-CVS シンポジウム：形式検証技術―現状と安心電子社会への適用」発表資料
identifier:https://dspace.jaist.ac.jp/dspace/handle/10119/8254
オンライン閲覧公開範囲: 限定公開
連携機関・データベース: 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）
https://irdb.nii.ac.jp
提供元機関・データベース: 北陸先端科学技術大学院大学 : JAIST学術研究成果リポジトリ