Domain-theoretic Foundations Of Functional Programming - Streicher, Thomas (Technische Univ Darmstadt, Germany) - Libros - World Scientific Publishing Co Pte Ltd - 9789812701428 - 5 de diciembre de 2006
En caso de que portada y título no coincidan, el título será el correcto

Streicher, Thomas (Technische Univ Darmstadt, Germany)
Domain-theoretic Foundations Of Functional Programming

Precio
Mex$ 973
sin IVA

Pedido desde almacén remoto

Entrega prevista 27 de jul. - 12 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Streicher, Thomas (Technische Univ Darmstadt, Germany)

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

Aún no valorado

Provides a basis for a PhD course on domain-theoretic semantics of functional programming languages and their meta-mathematical properties. This book introduces basic domain theory and technique of logical relations as developed by Scott and Plotkin. It also introduces computability in Scott domains.

132 pages, illustrations

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 5 de diciembre de 2006
ISBN13 9789812701428
Editores World Scientific Publishing Co Pte Ltd
Páginas 132
Dimensiones 164 × 236 × 14 mm   ·   374 g

Más del mismo editor

Ver todo de Streicher, Thomas (Technische Univ Darmstadt, Germany) ( Ej. Hardcover Book )