| 000 | 00544nam a2200169 a 4500 | ||
|---|---|---|---|
| 005 | 20180324073926.0 | ||
| 008 | 040318s19uu xx 00 eng d | ||
| 020 | _a0444880755 (Set) | ||
| 245 | 0 |
_aFormal models and semantics / _cedited by Jan van Leeuwen. |
|
| 260 |
_aAmsterdam : _bElsevier, _c1990. |
||
| 300 | _a2 vols. | ||
| 440 | _aHandbook of theoretical computer science ; vol. B | ||
| 526 | _aRecommended text : MA488/ MAP467 (Maths & Computer Science) | ||
| 650 | _aComputer science. | ||
| 700 | _aVan Leeuwen, Jan. | ||
| 942 | _2ddc | ||
| 999 |
_c63800 _d63800 |
||