| 000 | 00402nam a2200145Ia 4500 | ||
|---|---|---|---|
| 008 | 211224s9999 xx 000 0 und d | ||
| 020 | _a9780262071727 | ||
| 082 | _a005.13 GOG | ||
| 100 | _aGoguen, Joseph | ||
| 245 | 0 | _aAlgebraic semantics of imperative programs | |
| 260 |
_aCambridge, MA: _bMIT Press, _c1996 |
||
| 300 | _avii, 228 p. : ill. ; 24 cm | ||
| 650 | _aAlgebra | ||
| 700 | _aMalcolm, Grant | ||
| 999 |
_c14447 _d14447 |
||