International Conference on Formal Methods for Open Object-Based Distributed Systems (2005 :)
概要
| 作品: | 5 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Formal Methods for Open Object-Based Distributed Systems = 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /
by:
Steffen, Martin.; Zavattaro, Gianluigi.; SpringerLink (Online service); International Conference on Formal Methods for Open Object-Based Distributed Systems (2005 :)
(書目-語言資料,印刷品)
Formal methods for open object-based distributed systems : = 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings /
by:
Steffen, Martin.; Zavattaro, Gianluigi.; IFIP Working Group 6.1.; International Conference on Formal Methods for Open Object-Based Distributed Systems (2005 :)
(書目-語言資料,印刷品)