書店で探す
書店で探す
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 図書
- タイトルよみ
- A first - order extension of modal mu - calculus
- 著者・編者
- [by] Keishi Okamoto
- シリーズ著者・編者
- 産業技術総合研究所関西センター尼崎事業所システム検証研究センター 編
- 出版年月日等
- 2006.4
- 出版年(W3CDTF)
- 2006
- 数量
- 15 p.
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。