Abstract Computing Machines: A Lambda Calculus Perspective - Texts in Theoretical Computer Science. An EATCS Series - Werner Kluge - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783642059384 - 10 de novembro de 2010
Caso a capa e o título não sejam correspondentes, considere o título como correto

Abstract Computing Machines: A Lambda Calculus Perspective - Texts in Theoretical Computer Science. An EATCS Series Softcover reprint of hardcover 1st ed. 2005 edition

Preço
€ 97,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 3 - 11 de ago
Receba avisos sobre novos lançamentos de Werner Kluge
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

Também disponível como:

The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.


384 pages, 89 black & white illustrations

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 10 de novembro de 2010
ISBN13 9783642059384
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 384
Dimensões 155 × 235 × 21 mm   ·   557 g
Idioma Inglês  

Mais por Werner Kluge

Mostrar tudo

Mais da mesma editora