Abstract Computing Machines: A Lambda Calculus Perspective - Texts in Theoretical Computer Science. An EATCS Series - Werner Kluge - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540211464 - 18. februar 2005
Ved uoverensstemmelse mellem cover og titel gælder titel

Abstract Computing Machines: A Lambda Calculus Perspective - Texts in Theoretical Computer Science. An EATCS Series 2005 edition

Pris
zł 564,90

Bestilles fra fjernlager

Forventes klar til forsendelse 11. - 18. dec.
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
eller

Findes også som:

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

Medie Bøger     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet 18. februar 2005
Oprindeligt udgivet 2004
ISBN13 9783540211464
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 384
Mål 155 × 235 × 23 mm   ·   712 g

Vis alle

Mere med Werner Kluge