Algebraic semantics of imperative programs

Bibliographische Detailangaben
Hauptverfasser:	Goguen, Joseph A. (VerfasserIn), Malcolm, Grant (VerfasserIn)
Format:	Electronic Resource
Sprache:	English
Veröffentlicht:	Cambridge, Massachusetts The MIT Press [1996]
Schlagworte:	Electronic books. Programming languages (Electronic computers) > Semantics. Algebra.
Online Zugang:	Click here to access thru EZproxy Click here to access