Algebraic semantics of imperative programs

Bibliografiske detaljer
Main Authors:	Goguen, Joseph A. (Author), Malcolm, Grant (Author)
Format:	Electronic Resource
Sprog:	engelsk
Udgivet:	Cambridge, Massachusetts The MIT Press [1996]
Fag:	Electronic books. Programming languages (Electronic computers) > Semantics. Algebra.
Online adgang:	Click here to access thru EZproxy Click here to access