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 - 9783642057465 - 2010. gada 4. decembris
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 Softcover reprint of hardcover 1st ed. 2004 edition

Cena
€ 53,99

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

Paredzamā piegāde . gada 7. - 17. 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.


267 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2010. gada 4. decembris
ISBN13 9783642057465
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 248
Izmēri 234 × 174 × 15 mm   ·   385 g
Valoda Vācu  

Vairāk no Simona Ronchi Della Rocca

Rādīt visu

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