000			00359nam a2200145Ia 4500
008			230312s9999||||xx |||||||||||||| ||und||
020			_a0-470-95278-8
082			_a004.1675 _bMCC-A
100			_aBertot;Yves
245		0	_aFrom Semantics to computer science
260			_bWiley _aCanada _c2012
300			_a283
650			_aComputer _vComputer
942			_cBK
999			_c15128 _d15128