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...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Kluge, W. (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Brauer, W. (Επιμελητής έκδοσης), Rozenberg, G. (Επιμελητής έκδοσης), Salomaa, A. (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Σειρά:Texts in Theoretical Computer Science, An EATCS Series
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Search Result 1
ανά Kluge, William S.
Έκδοση 2005
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο