Abstract Computing Machines: A Lambda Calculus Perspective - Texts in Theoretical Computer Science. An EATCS Series - Werner Kluge - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783642059384 - 10 november 2010
Indien omslag en titel niet overeenkomen, is de titel correct

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

Prijs
€ 112,99

Besteld in een afgelegen magazijn

Verwachte levering 13 - 27 aug.
Ontvang meldingen over nieuwe releases van Werner Kluge
Voeg toe aan uw iMusic-verlanglijst

Nog niet beoordeeld

Ook verkrijgbaar als:

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

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 10 november 2010
ISBN13 9783642059384
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 384
Afmetingen 155 × 235 × 21 mm   ·   557 g
Taal en grammatica Engels  

Meer door Werner Kluge

Alles tonen

Meer van dezelfde uitgever