000			00496nam a2200169Ia 4500
999			_c2175 _d2175
008			161214s9999 xx 000 0 und d
020			_a0387976647 _chbk
082			_a005.1 _bMAN
100			_aManna, Zohar
245		0	_aTemporal Logic of Reactive and Concurrent Systems
260			_aNew York: _bSpringer-Verlag, _c1992
300			_axiv, 427 p.; _bill.: _c25 cm.
365			_aEUR _b125.95
650			_aLogic
650			_aSymbolic
650			_aMathematical
650			_aConcurrency
650			_aComputer programming
700			_aPnueli, A.
942			_2ddc _cBK