Abstract Computing Machines A Lambda Calculus Perspective

• Κύριος συγγραφέας: Kluge, William S.
• Άλλοι συγγραφείς: Brauer, W., Rozenberg, Grzegorz, Salomaa, A.
• Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2005
• Σειρά: Texts in Theoretical Computer Science, An EATCS Series
• Θέματα: Computer science; Logic design; Computer Science; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs