000			00702nam a2200241#a 4500
001			0000022285
008			211117s2020||||xx |||||||||||||| ||und||
020			_a9788120331716
082			_a004.015113 HAR 2000
100			_aHarel
245		0	_aDynamic logic _c/ David Harel, Dexter Kozen, Jerzy Tiuryn.
260			_aCambridge, Mass. _bMIT Press _c2000.
300			_axv, 459p. _bill. _c23cm
365			_cMYR
490			_aFoundations of computing
500			_aIncludes bibliographical references and index p.449-459
650			_aComputer logic
650			_aFormal methods (Computer science)
700			_aKozen, Dexter
700			_aTiuryn, Jerzy
942			_cBK-GN
999			_c64215 _d64215