Algebraic semantics of imperative programs

Bibliographic Details
Main Authors:	Goguen, Joseph A. (Author), Malcolm, Grant (Author)
Format:	Electronic Resource
Language:	English
Published:	Cambridge, Massachusetts The MIT Press [1996]
Subjects:	Electronic books. Programming languages (Electronic computers) > Semantics. Algebra.
Online Access:	Click here to access thru EZproxy Click here to access