Algebraic semantics of imperative programs

Algebraic semantics of imperative programs

Detalhes bibliográficos
Principais autores: Goguen, Joseph A. (Autor), Malcolm, Grant (Autor)
Formato: Electronic Resource
Idioma:English
Publicado em: Cambridge, Massachusetts The MIT Press [1996]
Assuntos:
Electronic books.
Programming languages (Electronic computers) > Semantics.
Algebra.
Acesso em linha:Click here to access thru EZproxy
Click here to access