Algebraic semantics of imperative programs

Dades bibliogràfiques
Autors principals:	Goguen, Joseph A. (Autor), Malcolm, Grant (Autor)
Format:	Electronic Resource
Idioma:	English
Publicat:	Cambridge, Massachusetts The MIT Press [1996]
Matèries:	Electronic books. Programming languages (Electronic computers) > Semantics. Algebra.
Accés en línia:	Click here to access thru EZproxy Click here to access