東海大学蔵書検索

Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings

Elie Najm, Uwe Nestmann, Perdita Stevens (eds.). -- Springer, 2003. -- (Lecture notes in computer science ; 2884). <BB00176640>
登録タグ:
登録されているタグはありません
書誌URL:

所蔵一覧 1件~1件(全1件)

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 返却予定日 予約 WEB書棚
0001 12号館 開架室 549.92/L/2884 0010012088765 配架済 0件
No. 0001
巻号
所蔵館 12号館
配置場所 開架室
請求記号 549.92/L/2884
資料ID 0010012088765
状態 配架済
返却予定日
予約 0件
WEB書棚

書誌詳細

標題および責任表示 Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings / Elie Najm, Uwe Nestmann, Perdita Stevens (eds.)
出版・頒布事項 Berlin ; Tokyo : Springer , c2003
形態事項 x, 292 p. : ill. ; 24 cm
巻号情報
ISBN 3540204911
書誌構造リンク Lecture notes in computer science <TY10000225> 2884//a
注記 Includes bibliographical references and index
学情ID BA64762546
本文言語コード 英語
著者標目リンク *International Conference on Formal Methods for Open Object-Based Distributed Systems <AU00120580> (6th : 2003 : Paris, France)
著者標目リンク Najm, Elie <AU00120581>
著者標目リンク Nestmann, Uwe <>
著者標目リンク Stevens, Perdita <>
ローカル分類標目 NDC:549.92
ローカル分類標目 NDC9:007
件名標目等 Electronic data processing -- Distributed processing -- Congresses
件名標目等 Object-oriented programming (Computer science) -- Congresses
レコードID BB00176640