Domains and Lambda-Calculi - Cambridge Tracts in Theoretical Computer Science - Amadio, Roberto M. (Universite de Provence) - Livros - Cambridge University Press - 9780521062923 - 15 de maio de 2008
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$ 457,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     Paperback Book   (Livro de capa flexível e brochura)
Lançado 15 de maio de 2008
ISBN13 9780521062923
Editoras Cambridge University Press
Páginas 504
Dimensões 154 × 228 × 30 mm   ·   746 g
Idioma Inglês  

Mais da mesma editora

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