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

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

Preço
R$ 1.105,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 30 de set - 12 de out
Receba avisos sobre novos lançamentos de Amadio, Roberto M. (Universite de Provence)

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

Ainda não avaliado

Também disponível 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.

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
Idioma Inglês  
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.

Mais da mesma editora

Ver tudo de Amadio, Roberto M. (Universite de Provence)