000			00582cam a22002057a 4500
001			001898
003			armpuni
005			20160923150536.0
008			160923s1989####xx#a##########000#0#und#d
040			_aarmpuni _carmpuni
041			_apor
080			_a519.6
100	1		_aAlencar, Paulo S.C. de
245	1	0	_aMétodos formais para o desenvolvimento de programas / _cPaulo S.C. de Alencar, Carlos J.P. de Lucena
260			_aBuenos Aires : _bKapelusz, _c1989
300			_a175 p.;, 23 cm.
700	1		_aLucena, Carlos J.P. de
942			_cLB _2cdu
945			_aInfor _d1990-09-04
999			_c1897 _d3072