Domain Theory, Logic and Computation
Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001
Semantics Structures in Computation
Zhang, Guo-Qiang
Lawson, J. (EDT)
Ying Ming Liu, Ying
- 出版社：Springer
- 出版年月：2010年 12月
- ISBN：9789048165230
- 装丁：PAP
-
装丁について
- 言語：ENG
- 巻数・ページ数：208 p.
- DDC分類：160