Formal Methods for Open Object-Based Distributed Systems
9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
Lecture Notes in Computer Science
Bonsangue, Marcello M. (EDT)
Johnsen, Einar Broch (EDT)
- 出版社:Springer
- 出版年月:2007年 06月
- ISBN:9783540729198
- 装丁:PAP
-
装丁について
- 言語:ENG
- 巻数・ページ数:317 p.
- 分類: ネットワーク & セキュリティ
- DDC分類:004