時相論理と並行計算、オートマトンの統合化による自律性のある分散システムの設計支援

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

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: 研究代表者山根智
Publication, Distribution, etc.: [山根智]
Publication Date: 2002.3
Publication Date (W3CDTF): 2002
Size: 30cm
Place of Publication (Country Code): ja
Text Language Code: ja
Target Audience: 一般
Note (General): 課題番号 : 11680360
Related Material: 科学研究費補助金基盤研究(C)(2)研究成果報告書
https://cir.nii.ac.jp/crid/1130282272641935488
Related Material (URI): https://ci.nii.ac.jp/ncid/BA61897185#entity
Periodical Title: 科学研究費補助金基盤研究(C)(2)研究成果報告書
https://cir.nii.ac.jp/crid/1130282272641935488
Data Provider (Database): 国立情報学研究所 : CiNii Research
Original Data Provider (Database): CiNii Books
https://ci.nii.ac.jp/books
NCID: https://ci.nii.ac.jp/ncid/BA61897185 : BA61897185