000			00506nam a2200169Ia 4500
999			_c22747 _d22747
008			161214s9999 xx 000 0 und d
020			_a9783642279188 _chbk
082			_a005.1 _bKOU
100			_aKourie, Derrick G.
245		0	_aCorrectness-by-Construction Approach to Programming
260			_aBerlin: _bSpringer, _c2012
300			_axiii, 264 p.; _bill.: _c25 cm.
365			_aEUR _b79.95
650			_aFormal methods
650			_aLattice Cover Graph
650			_aMADFA
650			_aSEMAT
650			_aLogic design
650			_aSoftware engineering
700			_aWatson, Bruce W.
942			_2ddc _cBK