ISBN 9048165237 books & textbook
Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 (Semantics Structures in Computation)
Guo-Qiang Zhang Lawson, J. Ying Ming Liu Luo, M.K.
Springer /2010-12-25 Paperback / 209 Pages
isbn-10: 9048165237 / isbn-13: 9789048165230