| 000 | 00339nam a2200109Ia 4500 | ||
|---|---|---|---|
| 008 | 160804s9999 xx 000 0 und d | ||
| 020 | _aCambridge | ||
| 100 | _aHuttel, H | ||
| 245 | _aTransitions and trees: An introduction to structural operational semantics | ||
| 260 |
_aCambridge _bCambridge University Press _c2010 |
||
| 300 | _axvii, 272p. | ||
| 999 |
_c36368 _d36368 |
||