Algebraic semantics of imperative programs
Goguen, Joseph A.
Algebraic semantics of imperative programs - - Cambridge : MIT Press, 1996 1996 - vii,228 p. 23 cm - .
0-262-07172-X1
Programming languages (Electronic computers)-Semantics
681.3.06:517.1 Gog
Algebraic semantics of imperative programs - - Cambridge : MIT Press, 1996 1996 - vii,228 p. 23 cm - .
0-262-07172-X1
Programming languages (Electronic computers)-Semantics
681.3.06:517.1 Gog