Domains and Lambda-Calculi - Cambridge Tracts in Theoretical Computer Science - Amadio, Roberto M. (Universite de Provence) - Libros - Cambridge University Press - 9780521062923 - 15 de mayo de 2008
En caso de que portada y título no coincidan, el título será el correcto

Amadio, Roberto M. (Universite de Provence)
Domains and Lambda-Calculi - Cambridge Tracts in Theoretical Computer Science

Precio
$ 84,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 17 de jun. - 6 de jul.

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

También disponible como:

This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in ways independent of both language and platform. To do this the authors explain denotational and operational semantics and exploit the duality between them.

504 pages, 85 b/w illus.

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 15 de mayo de 2008
ISBN13 9780521062923
Editores Cambridge University Press
Páginas 504
Dimensiones 154 × 228 × 30 mm   ·   746 g
Lengua Inglés  

Mere med samme udgiver

Ver todo de Amadio, Roberto M. (Universite de Provence) ( Ej. Paperback Book y Hardcover Book )