000			00580nam a2200169Ia 4500
008			161214s9999 xx 000 0 und d
020			_a9781906124830 _c(pbk)
082			_223 _a005.14 _bGOT
100			_aGotsman, Alexey
245		0	_aLogics and analyses for concurrent heap-manipulating programs
260			_aLondon: _bBritish Computer Society, _c2009
300			_a162 p.; _bill.: _c30 cm.
490			_aBCS/CPHC distinguished dissertation award series
650			_aComputer software -- Verification
650			_aProgramming languages (Electronic computers)
942			_2ddc _cBK
999			_c22015 _d22015