Formal Methods for Protocol Engineering and Distributed Systems
Forte XII / PSTV XIX'99
IFIP Advances in Information and Communication Technology
Wu, Jianping (EDT)
Chanson, Samuel T. (EDT)
Quiang Gao (EDT)
- 出版社：Springer-Verlag New York Inc
- 出版年月：2013年 10月
- ISBN：9781475752700
- 装丁：PAP
-
装丁について
- 言語：ENG
- DDC分類：004