Name: Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 (en Inglés)
SKU: 25166816
Price: 469595.00 COP
Availability: InStock
Author: Guo-Qiang Zhang ; Lawson, J. ; Ying Ming Liu
ISBN: 9789048165230

portada Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 (en Inglés)

Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Guo-Qiang Zhang ; Lawson, J. ; Ying Ming Liu

Año

2010

Idioma

Inglés

N° páginas

197

Encuadernación

Tapa Blanda

ISBN

9048165237

ISBN13

9789048165230

Categorías

Álgebra
Filosofía: lógica
Lenguajes de programación y extensión/scripting: general

Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 (en Inglés)

Guo-Qiang Zhang ; Lawson, J. ; Ying Ming Liu (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 19 a 25 días háb.

$ 939.190$ 469.595

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 469.595

¡Envío Gratis! Llega entre el 04 Nov y el 13 Nov a Bogota, Cundinamarca. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 (en Inglés)"

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 convergence, domains, lattices, and continuity, and representations of domains as event and logical structures. Researchers and students in theoretical computer science should find this a valuable source of reference. The survey papers at the beginning should be of particular interest to those who wish to gain an understanding of some general ideas and techniques in this area.