The logic for the burden of production

資料に関する注記

一般注記：: 6th VERITE : JAIST/TRUST-AIST/CVS joint workshop on VERIfication Technologyでの発表資料, 開催：3月12日～13日, 開催場所：JAIST 田町サテライトキャンパス2階多目的室2identifier:https://dspa...

書店で探す

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

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

その他

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

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

資料種別: 文書・図像類
タイトル: The logic for the burden of production
著者・編者: Suzuki, Yoshitaka
著者標目: Suzuki, Yoshitaka
出版年月日等: 2009-03-13
出版年（W3CDTF）: 2009-03-13
掲載ページ: 1-24
本文の言語コード: eng
対象利用者: 一般
一般注記: 6th VERITE : JAIST/TRUST-AIST/CVS joint workshop on VERIfication Technologyでの発表資料, 開催：3月12日～13日, 開催場所：JAIST 田町サテライトキャンパス2階多目的室2
identifier:https://dspace.jaist.ac.jp/dspace/handle/10119/8284
記録形式（IMT）: application/pdf
一次資料へのリンクURL: https://dspace.jaist.ac.jp/dspace/bitstream/10119/8284/1/The%2520logic%2520for%2520the%2520burden%2520of%2520production.pdf
https://dspace.jaist.ac.jp/dspace/bitstream/10119/8284/1/The%2520logic%2520for%2520the%2520burden%2520of%2520production.pdf
オンライン閲覧公開範囲: 限定公開
連携機関・データベース: 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）
https://irdb.nii.ac.jp
提供元機関・データベース: 北陸先端科学技術大学院大学 : JAIST学術研究成果リポジトリ