| 000 | 00667nam a2200217Ii 4500 | ||
|---|---|---|---|
| 003 | JO-AjNU | ||
| 008 | 230606s9999||||xx |||||||||||||| ||und|| | ||
| 020 | _a0-19-853768-9 | ||
| 040 |
_aJO-AjNU _beng _erda _cJO-AjNU |
||
| 041 | _aeng | ||
| 050 | 1 | 4 | _aQA9.G32.2003 |
| 100 | 3 |
_aGabbay,dove m/Reynolds,mark, _eauthor _9471 |
|
| 245 | 0 | 0 | _a Temporal Logic Mathematical Foundations and Computiona Aspects vol.2 |
| 264 | 3 | 1 | _aClarendn press:oxford,2003 |
| 300 | _aVol.2, 596p | ||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_aunmediated _bn _2rdamedia |
||
| 338 |
_avolume _bnc _2rdacarrier |
||
| 490 | 0 | _aoxford logic guides 40 | |
| 650 | 4 |
_aCOMPUTER programming _9472 |
|
| 999 |
_aE250 _c250 _d250 |
||