| 000 | 00604 a2200217 4500 | ||
|---|---|---|---|
| 001 | 1008780 | ||
| 003 | OSt | ||
| 005 | 20220511102134.0 | ||
| 008 | 220511b |||||||| |||| 00| 0 eng d | ||
| 020 | _a0-444-88074-7 | ||
| 040 | _cIITB | ||
| 041 | _aeng | ||
| 080 |
_a681.3 _bHan-B |
||
| 245 | _aHandbook of theoretical computer science | ||
| 260 |
_aAmsterdam _c1990 _bElsevier Science Publishers B.V. / _bMIT Press |
||
| 300 |
_av.B _c25 cm |
||
| 505 | _av.B. Formal models and semantics. | ||
| 650 | 0 |
_aComputer Science _91449 |
|
| 700 |
_aLeeuwen, Jan Van _4Editor _925816 |
||
| 942 |
_cBK _2udc |
||
| 999 |
_c110795 _d110795 |
||