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.)

(Lecture notes in computer science, 2884)

Springer, c2003

この図書・雑誌をさがす
注記

Includes bibliographical references and index

関連文献: 1件中  1-1を表示
詳細情報
ページトップへ