The Parametric Lambda Calculus: A Metamodel for Computation - Texts in Theoretical Computer Science. An EATCS Series - Simona Ronchi Della Rocca - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540200321 - 2004. gada 5. jūlijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

The Parametric Lambda Calculus: A Metamodel for Computation - Texts in Theoretical Computer Science. An EATCS Series 2004 edition

Cena
€ 53,99

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

Paredzamā piegāde . gada 30. jūl. - . gada 7. aug.
Saņemiet paziņojumus par jauniem Simona Ronchi Della Rocca izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Pieejams arī kā:

The book contains a completely new presentation of classical results in the field of Lambda Calculus, together with new results. The text is unique in that it presents a new calculus (Parametric Lambda Calculus) which can be instantiated to obtain already known lambda-calculi.


248 pages, biography

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 2004. gada 5. jūlijs
ISBN13 9783540200321
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 248
Izmēri 155 × 235 × 17 mm   ·   562 g
Valoda Angļu   Vācu  

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