Abstract Computing Machines : A Lambda Calculus Perspective
The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic mechanisms and runtime structures necessary to execute them using machines. It completely abstracts from concrete programming languages and machine architectures, taking inste...
Uloženo v:
Hlavní autor: | |
---|---|
Korporace: | |
Médium: | E-kniha |
Jazyk: | angličtina |
Vydáno: |
Berlin, Heidelberg :
Springer Berlin Heidelberg :
2005
|
Edice: | Texts in Theoretical Computer Science. An EATCS Series,
|
Žánr/forma: | elektronické knihy |
ISBN: | 9783540273592 |
On-line přístup: | Plný text |
Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|