Stock image for illustration purposes only - book cover, edition or condition may vary.
Domain Theory, Logic and Computation
. Ed(S): Zhang, Guo-Qiang (Case Western Reserve University, Cleveland, Usa); Lawson, J.A.; Liu, Ying Ming; Luo, M-.K.
€ 185.44
FREE Delivery in Ireland
Description for Domain Theory, Logic and Computation
Hardback. Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 Editor(s): Zhang, Guo-Qiang (Case Western Reserve University, Cleveland, USA); Lawson, J.A.; Liu, Ying Ming; Luo, M-.K. Series: Semantics Structures in Computation. Num Pages: 197 pages, biography. BIC Classification: PBCD; UM; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 476.
Domains are mathematical structures for information and approximation; they combine order-theoretic, logical, and topological ideas and provide a natural framework for modelling and reasoning about computation. The theory of domains has proved to be a useful tool for programming languages and other areas of computer science, and for applications in mathematics.
Included in this proceedings volume are selected papers of original research presented at the 2nd International Symposium on Domain Theory in Chengdu, China. With authors from France, Germany, Great Britain, Ireland, Mexico, and China, the papers cover the latest research in these sub-areas: domains and computation, topology and ... Read more
Domains are mathematical structures for information and approximation; they combine order-theoretic, logical, and topological ideas and provide a natural framework for modelling and reasoning about computation. The theory of domains has proved to be a useful tool for programming languages and other areas of computer science, and for applications in mathematics.
Included in this proceedings volume are selected papers of original research presented at the 2nd International Symposium on Domain Theory in Chengdu, China. With authors from France, Germany, Great Britain, Ireland, Mexico, and China, the papers cover the latest research in these sub-areas: domains and computation, topology and ... Read more
Product Details
Format
Hardback
Publication date
2004
Publisher
Springer-Verlag New York Inc. United States
Number of pages
197
Condition
New
Series
Semantics Structures in Computation
Number of Pages
197
Place of Publication
New York, NY, United States
ISBN
9781402018329
SKU
V9781402018329
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Domain Theory, Logic and Computation