Algebraic semantics of imperative programs

Detalles Bibliográficos
Autores principales:	Goguen, Joseph A. (Autor), Malcolm, Grant (Autor)
Formato:	Electronic Resource
Lenguaje:	English
Publicado:	Cambridge, Massachusetts The MIT Press [1996]
Materias:	Electronic books. Programming languages (Electronic computers) > Semantics. Algebra.
Acceso en línea:	Click here to access thru EZproxy Click here to access