The formal semantics of programming languages an introduction

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