Algebraic semantics of imperative programs

• Main Author: Goguen, Joseph
• Other Authors: Malcolm, Grant
• Format: Book
• Language: English
• Published: Cambridge, Mass. MIT Press 1996
• Series: Foundations of computing
• Subjects: Ηλεκτρονικοί υπολογιστές > Γλώσσες προγραμματισμού