| 000 | 00350nam a2200121Ia 4500 | ||
|---|---|---|---|
| 008 | 160523s9999 xx 000 0 und d | ||
| 020 | _a0-262-07172-X | ||
| 100 | _aGoguen, J. A. | ||
| 245 | _aAlgebraic semantics of imperative programs | ||
| 260 |
_aCambridge; Massachusetts _bMIT Press _c1996 |
||
| 300 | _aix228p. | ||
| 490 | _aFoundations of computing | ||
| 999 |
_c27627 _d27627 |
||