0 Mėgstami
0Krepšelis

Abstract Computing Machines: A Lambda Calculus Perspective

169,38 
169,38 
2025-07-31 169.3800 InStock
Nemokamas pristatymas į paštomatus per 13-17 darbo dienų užsakymams nuo 19,00 

Knygos aprašymas

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

Informacija

Autorius: Werner Kluge
Serija: Texts in Theoretical Computer Science. An EATCS Series
Leidėjas: Springer Berlin Heidelberg
Išleidimo metai: 2010
Knygos puslapių skaičius: 400
ISBN-10: 3642059384
ISBN-13: 9783642059384
Formatas: Knyga minkštu viršeliu
Kalba: Anglų
Žanras: Compilers and interpreters

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Abstract Computing Machines: A Lambda Calculus Perspective“

Būtina įvertinti prekę

Goodreads reviews for „Abstract Computing Machines: A Lambda Calculus Perspective“