The formal semantics of programming languages an introduction

• Κύριος συγγραφέας: Winskel, G. (Glynn)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Cambridge, Mass. MIT Press 1993
• Σειρά: Foundations of computing
• Θέματα: Γλώσσες προγραμματισμού; Ηλεκτρονικοί υπολογιστές > Μαθηματικές αρχές