Two-Level Functional Languages - Cambridge Tracts in Theoretical Computer Science - Nielson, Flemming (Aarhus Universitet, Denmark) - Livros - Cambridge University Press - 9780521018470 - 22 de agosto de 2005
Caso a capa e o título não sejam correspondentes, considere o título como correto

Nielson, Flemming (Aarhus Universitet, Denmark)
Two-Level Functional Languages - Cambridge Tracts in Theoretical Computer Science

Preço
R$ 410,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 29 de set - 9 de out
Receba avisos sobre novos lançamentos de Nielson, Flemming (Aarhus Universitet, Denmark)

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:

The authors describe here a framework in which the type notation of functional languages is extended to include a distinguishing notation for run-times and compile-times. Consequently the ability to specify code and verify program correctness can be improved.

312 pages, 4 b/w illus. 35 tables

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 22 de agosto de 2005
ISBN13 9780521018470
Editoras Cambridge University Press
Páginas 312
Dimensões 170 × 244 × 17 mm   ·   493 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 Nielson, Flemming (Aarhus Universitet, Denmark)