M.K. Luo – författare
Visar alla böcker från författaren M.K. Luo. Handla med fri frakt och snabb leverans.
3 produkter
Domain Theory, Logic and Computation
Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001
Av Guo-Qiang Zhang, J. Lawson m. fl.
Inbunden, 2004
1636 kr
Lägg i varukorg
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 …
Domain Theory, Logic and Computation
Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001
Av Guo-Qiang Zhang, J. Lawson m. fl.
Häftad, 2010
1636 kr
Lägg i varukorg
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 …
Domain Theory, Logic and Computation
Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001
Av M.K. Luo, Ying Ming Liu m. fl.
E-bok, 2013
2111 kr
Lägg i varukorg
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 …
