Algebraic semantics of imperative programs

מידע ביבליוגרפי
Main Authors:	Goguen, Joseph A. (Author), Malcolm, Grant (Author)
פורמט:	Electronic Resource
שפה:	English
יצא לאור:	Cambridge, Massachusetts The MIT Press [1996]
נושאים:	Electronic books. Programming languages (Electronic computers) > Semantics. Algebra.
גישה מקוונת:	Click here to access thru EZproxy Click here to access