The formal semantics of programming languages : an introduction /

• Main Author: Winskel, G. (Glynn) (συγγραφέας.)
• Format: Book
• Language: English
• Published: Cambridge, Mass. : MIT Press, 1993 [3rd printing 1996].
• Series: Foundations of computing
• Subjects: Ηλεκτρονικοί υπολογιστές > Γλώσσες προγραμματισμού.
• Physical Description: xviii, 361 σ. : εικ. ; 24 εκ.
• Bibliography: Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
• ISBN: 0262231697