Topology in Process Calculus
Approximate Correctness and Infinite Evolution of Concurrent Programs
Ying, Mingsheng
- 出版社：Springer-Verlag New York Inc
- 出版年月：2012年 10月
- ISBN：9781461265221
- 装丁：PAP
-
装丁について
- 言語：ENG
- 版次：Reprint
- 巻数・ページ数：240 p.
- DDC分類：005
装丁について