Algebraic semantics of imperative programs

Библиографические подробности
Главные авторы:	Goguen, Joseph A. (Автор), Malcolm, Grant (Автор)
Формат:	Electronic Resource
Язык:	English
Опубликовано:	Cambridge, Massachusetts The MIT Press [1996]
Предметы:	Electronic books. Programming languages (Electronic computers) > Semantics. Algebra.
Online-ссылка:	Click here to access thru EZproxy Click here to access