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
€ 100,49

Besteld in een afgelegen magazijn

Verwachte levering 8 - 16 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Voeg toe aan uw iMusic-verlanglijst
of

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