Algebraic semantics of imperative programs
Joseph A. Goguen
Algebraic semantics of imperative programs - - The MIT Press 1996 - 228 - .
MD/1/0529/2009-10/23-09-09
026207172X (HB)
PROGRAMMING LANGUAGE (ELECTRONIC COMPUTER) – SEMANTICS
005.131 GOG(ALG)
Algebraic semantics of imperative programs - - The MIT Press 1996 - 228 - .
MD/1/0529/2009-10/23-09-09
026207172X (HB)
PROGRAMMING LANGUAGE (ELECTRONIC COMPUTER) – SEMANTICS
005.131 GOG(ALG)