| 000 | 00878cam a2200265 a 4500 | ||
|---|---|---|---|
| 001 | 0000036451 | ||
| 003 | 0001 | ||
| 008 | 910719m19929999nyua b 001 0 eng | ||
| 020 | _a3540976647 (Berlin : v. 1) | ||
| 020 | _a0387976647 (New York : v. 1) | ||
| 035 | _9(DLC) 91028181 | ||
| 040 |
_aDLC _cDLC _dDLC |
||
| 082 | 0 | 0 |
_a005.1 _220 |
| 084 |
_a005.1 _bMAN-T |
||
| 100 | 1 | _aManna, Zohar. | |
| 245 | 1 | 4 |
_aThe temporal logic of reactive and concurrent systems _h[Book] / _cZohar Manna, Amir Pnueli. |
| 260 |
_aNew York : _bSpringer-Verlag, _cc1992-. |
||
| 300 |
_av. <1 > : _bill. ; _c25 cm. |
||
| 365 |
_a01 _b2,956.00 |
||
| 521 | _aAll. | ||
| 650 | 0 | _aComputer programming. | |
| 650 | 0 | _aLogic, Symbolic and mathematical. | |
| 700 | 1 | _aPnueli, A. | |
| 852 |
_p27946 _92956.00 _vBook Ocean Islamabad _dBooks |
||
| 999 |
_c159021 _d159021 |
||