アクティブソフトウェアの設計検証手法に関する研究

Notes on use

Related materials as well as pre- and post-revision versions

Search by Bookstore

This page shows libraries in Japan other than the National Diet Library that hold the material.

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

naistar : NAIST Academic Repository
Digital
You can check the holdings of institutions and databases with which 学術機関リポジトリデータベース（IRDB）（機関リポジトリ） is linked at the site of 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）.
naistar : NAIST Academic Repository
CiNii Research
Search Service
Paper
You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Check the holdings of this book

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
Title: アクティブソフトウェアの設計検証手法に関する研究
Title Transcription: アクティブソフトウェアノセッケイケンショウシュホウニカンスルケンキュウ
Author/Editor: 研究代表者関浩之
Author Heading: 関, 浩之セキ, ヒロユキ
Publication, Distribution, etc.: [奈良先端科学技術大学院大学]
Publication Date: 2006.5
Publication Date (W3CDTF): 2006
Size: 30cm
Alternative Title: 平成16年度-平成17年度科学研究費補助金(基盤研究(C))研究成果報告書
Place of Publication (Country Code): ja
Target Audience: 一般
Note (General): 課題番号:1650019
Related Material: 科学研究費補助金(基盤研究C)研究成果報告書
https://cir.nii.ac.jp/crid/1130282269514611328
Related Material (URI): https://ci.nii.ac.jp/ncid/BA78204443#entity
Periodical Title: 科学研究費補助金(基盤研究C)研究成果報告書
https://cir.nii.ac.jp/crid/1130282269514611328
Data Provider (Database): 国立情報学研究所 : CiNii Research
Original Data Provider (Database): CiNii Books
https://ci.nii.ac.jp/books
NCID: https://ci.nii.ac.jp/ncid/BA78204443 : BA78204443