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

Two-Level Functional Languages - Cambridge Tracts in Theoretical Computer Science

Nielson, Flemming (Aarhus Universitet, Denmark)

Preço
Kč 1.650

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 25 de ago - 3 de set

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:

Two-Level Functional Languages - Cambridge Tracts in Theoretical Computer Science

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 English  
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 Nielson, Flemming (Aarhus Universitet, Denmark) ( por exemplo Paperback Book e Hardcover Book )