000			00688 a2200229 4500
005			20231009171127.0
008			231009b |||||||| |||| 00| 0 eng d
020			_a9780857290175
082			_a005.14 A164r
100			_aAlmeida, José Bacelar
245			_aRigorous Software Development _bintroduction to program verification
260			_bSpringer _aLondon _c2011
300			_axii, 261p.
490			_aUndergraduate Topics in Computer Science
650			_aComputer software _xVerification
650			_aSoftware engineering
650			_aLogic design
700			_aFrade, Maria João
700			_aPinto, Jorge Sousa
700			_aSousa, Simão Melo de
942			_cBK
999			_c24649 _d24649