Formal Methods for Open Object-Based Distributed Systems V
IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20-22, 2002, Enschede, The Netherlands
IFIP Advances in Information and Communication Technology
Jacobs, Bart (EDT)
Rensink, Arend (EDT)
- 出版社：Springer-Verlag New York Inc
- 出版年月：2013年 10月
- ISBN：9781475752687
- 装丁：PAP
-
装丁について
- 言語：ENG
- DDC分類：004