Domain Theory, Logic and Computation Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 |
|
Editor:
| Lawson, J. Liu, Ying Ming Luo, M. K. Zhang, Guo-Qiang |
Series title: | Semantics Structures in Computation Ser. |
ISBN: | 978-1-4020-1832-9 |
Publication Date: | Jan 2004 |
Publisher: | Springer Netherlands
|
Imprint: | Springer |
Book Format: | Hardback |
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