Algebraic semantics of imperative programs

Dettagli Bibliografici
Autori principali:	Goguen, Joseph A. (Autore), Malcolm, Grant (Autore)
Natura:	Electronic Resource
Lingua:	English
Pubblicazione:	Cambridge, Massachusetts The MIT Press [1996]
Soggetti:	Electronic books. Programming languages (Electronic computers) > Semantics. Algebra.
Accesso online:	Click here to access thru EZproxy Click here to access