神奈川工科大学附属図書館
ログイン

神奈川工科大学附属図書館

検索結果一覧へ戻る

Modal logic and process algebra : a bisimulation perspective

edited by Alban Ponse, Maarten de Rijke & Yde Venema. -- CSLI, 1995. -- (CSLI lecture notes ; no. 53). <BB00112563>
登録タグ：
登録されているタグはありません
便利機能：
レビューを見る 詳細情報を見る
書誌URL：

Modal logic and process algebra : a bisimulation perspective

edited by Alban Ponse, Maarten de Rijke & Yde Venema. -- CSLI, 1995. -- (CSLI lecture notes ; no. 53). <BB00112563>
登録タグ：
登録されているタグはありません
便利機能：
レビューを見る 詳細情報を見る
書誌URL：

所蔵一覧 1件～1件（全1件）

ナンバーをクリックすると所蔵詳細をみることができます。

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 返却予定日 予約
0001 図書館 2階書架 007.1||M 120208319 0件
No. 0001
巻号
所蔵館 図書館
配置場所 2階書架
請求記号 007.1||M
資料ID 120208319
状態
返却予定日
予約 0件
このページのTOPへ

書誌詳細

標題および責任表示 Modal logic and process algebra : a bisimulation perspective / edited by Alban Ponse, Maarten de Rijke & Yde Venema
出版・頒布事項 Stanford, Calif. : CSLI , c1995
形態事項 xix, 327 p. : ill. ; 24 cm
巻号情報
ISBN 188152695X
書誌構造リンク CSLI lecture notes <BA0037651X> no. 53//a
注記 Papers presented at a workshop called Three days of Bisimulation, which was held April 1994 at the Centre for Mathematics and Computer Sciences, Amsterdam
注記 Includes bibliographical references and index
学情ID BA27684523
本文言語コード 日本語
著者標目リンク Ponse, Alban, 1955- <NC:DA08924262>
著者標目リンク Rijke, Maarten de <NC:DA07590911>
著者標目リンク Venema, Yde, 1963- <NC:DA09903687>
分類標目 LCC:QA267.3
分類標目 DC20:005.13/1
件名標目等 Formal languages -- Congresses
件名標目等 Modality (Logic) -- Congresses
件名標目等 Parallel processing (Electronic computers) -- Congresses
このページのTOPへ
検索結果一覧へ戻る
このページのTOPへ

  • 関連情報

    関連資料

    他の検索サイトで探す

    他大学資料確認

    この書誌のQRコード