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

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

検索結果一覧へ戻る

Formal methods for open object-based distributed systems V : IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) : March 20-22, 2002, Enschede, The Netherlands

edited by Bart Jacobs, Arend Rensink. -- Kluwer Academic Publishers, 2002. -- (The international federation for information processing ; 81). <BB00066239>
登録タグ：
登録されているタグはありません
便利機能：
レビューを見る 詳細情報を見る
書誌URL：

Formal methods for open object-based distributed systems V : IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) : March 20-22, 2002, Enschede, The Netherlands

edited by Bart Jacobs, Arend Rensink. -- Kluwer Academic Publishers, 2002. -- (The international federation for information processing ; 81). <BB00066239>
登録タグ：
登録されているタグはありません
便利機能：
レビューを見る 詳細情報を見る
書誌URL：

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

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

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

書誌詳細

標題および責任表示 Formal methods for open object-based distributed systems V : IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) : March 20-22, 2002, Enschede, The Netherlands / edited by Bart Jacobs, Arend Rensink
出版・頒布事項 Boston, Mass. : Kluwer Academic Publishers , c2002
形態事項 x, 278 p. : ill. ; 24 cm
巻号情報
ISBN 0792376838
書誌構造リンク The international federation for information processing <BA39641980> 81//a
注記 Includes index
注記 LCCN:2002016018
学情ID BA57149347
本文言語コード 英語
著者標目リンク *International Conference on Formal Methods for Open Object-Based Distributed Systems <NC:DA12007302> (5th : 2002 : Enschede, The Netherlands )
著者標目リンク Jacobs, Bart <NC:DA12072712>
著者標目リンク Rensink, Arend
分類標目 LCC:QA76.9.D5
分類標目 DC21:005.1/17
件名標目等 Electronic data processing -- Distributed processing Congresses
件名標目等 Object-oriented programming (Computer science) Congresses
このページのTOPへ
検索結果一覧へ戻る
このページのTOPへ

  • 関連情報

    関連資料

    他の検索サイトで探す

    他大学資料確認

    この書誌のQRコード