000			00891nam a2200253 a 4500
003			AR-LpUFIB
005			20250311170130.0
008			230201s1988 ag r 000 0 por d
020			_a9501398781
024	8		_aDIF-M102 _b102 _zDIF000109
040			_aAR-LpUFIB _bspa _cAR-LpUFIB
100	1		_aAlencar, Paulo S. C. de
245	1	0	_aMétodos formais para o desenvolvimento de programas
250			_aEd. prelim. ed.
260			_aBuenos Aires : _b Kapelusz, _c1988
300			_aix, 175 p. ; _c23 cm.
490	0		_aColección EBAI
500			_aLibro editado para la IV Escuela Brasileño-Argentina de Informática, realizada en Termas de Río Hondo, Santiago del Estero, Argentina, del 16 al 29 de enero de 1989.
650		4	_aVERIFICACIÓN DE PROGRAMAS
650		4	_aCORRECCIÓN DE PROGRAMAS
650		4	_aMÉTODOS FORMALES
700	1		_aLucena, Carlos J. P. de
942			_cBK
999			_c50113 _d50113