Abstract Computing Machines: A Lambda Calculus Perspective - Texts in Theoretical Computer Science. An EATCS Series - Werner Kluge - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783642059384 - 2010. gada 10. novembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 102,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 16. - 24. jūl.
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Pieejams arī kā:

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

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2010. gada 10. novembris
ISBN13 9783642059384
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 384
Izmēri 155 × 235 × 21 mm   ·   557 g
Valoda Angļu  

Vairāk no Werner Kluge

Rādīt visu

Mere med samme udgiver