Domain Theory, Logic and Computation Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 |
|
| Editor:
| Zhang, G. Q.
Lawson, J.
Liu, Y. -M.
Luo, M. -K. |
| Series title: | Semantics Structures in Computation Ser. |
| ISBN: | 978-90-481-6523-0 |
| Publication Date: | Dec 2010 |
| Publisher: | Springer
|
| Book Format: | Paperback |
| List Price: | AUD $410.95 |
Book Description:
|
Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001
Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001