Algebraic semantics of imperative programs

Author(s)

• Goguen, Joseph
• Malcolm, Grant

Bibliographic Information

Algebraic semantics of imperative programs

Joseph A. Goguen and Grant Malcolm

（MIT Press series in the foundations of computing）

MIT Press, c1996

Note

Includes bibliographical references and index

Details

• NCID: BA27762514
• ISBN:
  • 026207172X
• LCCN: 95047440
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge, Mass.
• Pages/Volumes: vii, 228 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.7
  • DC20 : 005.13/1
• Subject Headings:
  • LCSH : Programming languages (Electronic computers) -- Semantics
  • LCSH : Algebra
• Parent Bibliography ID:
  • BA0001568X