Algebraic semantics of imperative programs

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