000			00370nam a2200145Ia 4500
005			20240912145131.0
008			210219s9999||||xx |||||||||||||| ||und||
082			_a005.1 C469F
100			_aCharatan,Quentin _914384
245		0	_aFormal Software Development
260			_aChina _bPalgrava _c2004
300			_axii,238
650			_aData programming _938774
942			_cBK
999			_c41958 _d41958