Two-Level Functional Languages - Cambridge Tracts in Theoretical Computer Science - Nielson, Flemming (Aarhus Universitet, Denmark) - Livros - Cambridge University Press - 9780521403849 - 16 de julho de 1992
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
€ 143,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 1 - 10 de set
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.


311 pages, 4 b/w illus. 35 tables

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 16 de julho de 1992
ISBN13 9780521403849
Editoras Cambridge University Press
Páginas 312
Dimensões 170 × 244 × 19 mm   ·   714 g
Idioma English