| 000 | 00584nam a22002057a 4500 | ||
|---|---|---|---|
| 020 | _a9781107028364 | ||
| 080 |
_a681.3 _bDEM |
||
| 100 | _aDemri, Stephane | ||
| 245 |
_aTemporal Logics in Computer Science _bFinite State Systems |
||
| 260 |
_aNew York _bCambridge University Press _c2016 |
||
| 300 |
_a744p. _bVIII |
||
| 490 |
_aCambridge Tracts in Theoretical Computer Science _v00058 |
||
| 500 | _aHardcover | ||
| 650 | _aComputer Science | ||
| 650 | _aTemporal Logic | ||
| 690 | _aComputer Science | ||
| 700 | _aGoranko, Valentin | ||
| 700 | _aLange, Martin | ||
| 942 | _cBK | ||
| 999 |
_c50331 _d50331 |
||