Algebraic semantics of imperative programs

Bibliografische gegevens
Hoofdauteurs:	Goguen, Joseph A. (Auteur), Malcolm, Grant (Auteur)
Formaat:	Electronic Resource
Taal:	English
Gepubliceerd in:	Cambridge, Massachusetts The MIT Press [1996]
Onderwerpen:	Electronic books. Programming languages (Electronic computers) > Semantics. Algebra.
Online toegang:	Click here to access thru EZproxy Click here to access