Algebraic semantics of imperative programs

• Κύριος συγγραφέας: Goguen, Joseph
• Άλλοι συγγραφείς: Malcolm, Grant
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Cambridge, Mass. MIT Press 1996
• Σειρά: Foundations of computing
• Θέματα: Ηλεκτρονικοί υπολογιστές > Γλώσσες προγραμματισμού
• Φυσική περιγραφή: vii, 228 p. fig. 24 cm.
• Βιβλιογραφία: Includes bibliographical references and index
• ISBN: 026207172X