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 Netherlands
|
Imprint: | Springer |
Book Format: | Paperback |
List Price: | USD $169.99 |
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