The formal semantics of programming languages : an introduction /

• Κύριος συγγραφέας: Winskel, G. (Glynn) (συγγραφέας.)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Cambridge, Mass. : MIT Press, 1993 [3rd printing 1996].
• Σειρά: Foundations of computing
• Θέματα: Ηλεκτρονικοί υπολογιστές > Γλώσσες προγραμματισμού.
• Φυσική περιγραφή: xviii, 361 σ. : εικ. ; 24 εκ.
• Βιβλιογραφία: Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
• ISBN: 0262231697