Algebraic semantics of imperative programs

• Κύριος συγγραφέας: Goguen, Joseph
• Άλλοι συγγραφείς: Malcolm, Grant
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Cambridge, Mass. MIT Press 1996
• Σειρά: Foundations of computing
• Θέματα: Ηλεκτρονικοί υπολογιστές > Γλώσσες προγραμματισμού