Algebraic semantics of imperative programs

• Main Author: Goguen, Joseph
• Other Authors: Malcolm, Grant
• Format: eBook
• Language: English
• Published: Cambridge, Mass. : MIT Press, c1996.
• Series: Foundations of computing.
• Subjects: Programming languages (Electronic computers) > Semantics.; Algebra.; elektronické knihy; electronic books
• ISBN: 9780262288453
• Physical Description: 1 online zdroj (vii, 228 p.) : ill.