000 | 00519nam a2200169Ia 4500 | ||
---|---|---|---|
008 | 151218s9999 xx 000 0 und d | ||
020 |
_a9780387944593 _cE139.99 |
||
040 |
_aCLIITBBS _cCLIITBBS _dCLIITBBS |
||
082 | 0 | 0 |
_a005.2 _222 _bMAN/T |
100 | _aManna, Zohar | ||
245 | 1 | 0 |
_aTemporal verification of reactive systems : _bsafety / _cby Zohar Manna. |
260 |
_aNew York : _bSpringer, _c1995. |
||
300 | _axviii, 512 p. : ill. ; | ||
504 | _aInclude Index | ||
650 | _aParallel processing | ||
942 |
_2ddc _cTRB |
||
999 |
_c6628 _d6628 |