Two-Level Functional Languages - Cambridge Tracts in Theoretical Computer Science - Nielson, Flemming (Aarhus Universitet, Denmark) - Libros - Cambridge University Press - 9780521018470 - 22 de agosto de 2005
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
$ 76,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 17 de jun. - 6 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

También disponible 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

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 22 de agosto de 2005
ISBN13 9780521018470
Editores Cambridge University Press
Páginas 312
Dimensiones 170 × 244 × 17 mm   ·   498 g
Lengua Inglés  
Editor de series Abramsky, S.
Editor de series Aczel, P. H.
Editor de series Bakker, J. W. De
Editor de series Gurevich, Y.
Editor de series Tucker, J. V.
Editor de series Van Rijsbergen, C. J.

Mere med samme udgiver

Ver todo de Nielson, Flemming (Aarhus Universitet, Denmark) ( Ej. Paperback Book y Hardcover Book )