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 - 9783540211464 - 2005. gada 18. februāris
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 2005 edition

Cena
€ 119,99

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

Paredzamā piegāde . gada 24. jūl. - . gada 7. aug.
Saņemiet paziņojumus par jauniem Werner Kluge izdevumiem
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.


404 pages, 89 black & white illustrations, biography

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 2005. gada 18. februāris
Oriģinālā izdošanas datums 2004
ISBN13 9783540211464
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 384
Izmēri 155 × 235 × 23 mm   ·   712 g

Vairāk no tā paša izdevēja