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

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

図書等

巻号情報

No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

007.08-L49-2884

10003311701

一般図書

2

007.08-L49-2884

10003308669

一般図書

詳細情報

刊年

2003

形態

x, 292 p. : ill. ; 24 cm

シリーズ名

Lecture notes in computer science ; 2884

注記

Includes bibliographical references and index

出版国

ドイツ=ドイツ連邦共和国

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

International Conference on Formal Methods for Open Object-Based Distributed Systems

Najm, Elie

Nestmann, Uwe

Stevens, Perdita

件名

Electronic data processing -- Distributed processing -- Congresses

Object-oriented programming (Computer science) -- Congresses

ISBN

3540204911

NCID

BA64762546