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: Ηλεκτρονικοί υπολογιστές > Γλώσσες προγραμματισμού
• Physical Description: vii, 228 p. fig. 24 cm.
• Bibliography: Includes bibliographical references and index
• ISBN: 026207172X