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 - 9783642059384 - 10. november 2010
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Pris
₺ 5.645

Bestilles fra fjernlager

Forventes klar til forsendelse 11. - 17. 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.


384 pages, 89 black & white illustrations

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 10. november 2010
ISBN13 9783642059384
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 384
Mål 155 × 235 × 21 mm   ·   557 g
Sprog Engelsk  

Vis alle

Mere med Werner Kluge