Domains and Lambda-Calculi - Cambridge Tracts in Theoretical Computer Science - Amadio, Roberto M. (Universite de Provence) - Livros - Cambridge University Press - 9780521622776 - 2 de julho de 1998
Caso a capa e o título não sejam correspondentes, considere o título como correto

Domains and Lambda-Calculi - Cambridge Tracts in Theoretical Computer Science

Amadio, Roberto M. (Universite de Provence)

Preço
€ 187,49

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 17 - 26 de mar

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Também disponível como:

Domains and Lambda-Calculi - Cambridge Tracts in Theoretical Computer Science

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.

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 2 de julho de 1998
ISBN13 9780521622776
Editoras Cambridge University Press
Páginas 504
Dimensões 236 × 159 × 37 mm   ·   890 g
Editor de séries Abramsky, S.
Editor de séries Aczel, P. H.
Editor de séries Bakker, J. W. De
Editor de séries Gurevich, Y.
Editor de séries Tucker, J. V.
Editor de séries Van Rijsbergen, C. J.

Ver tudo de Amadio, Roberto M. (Universite de Provence) ( por exemplo Paperback Book e Hardcover Book )