000			01444nam a22003130a 4500
001			PT2144
003			AR-LpoUNG
005			20210131230107.0
008			191001s1993||||sp |||||||||||||||||spa d
020			_a8448119576 _c$25.66
040			_aAR-LpoUNG _bspa _cAR-LpoUNG _eaacr
041			_aspa
044			_asp
082	0		_a005.4 174P
100	1		_aBalcazar, Jose Luis
245	1	0	_aProgramación metódica
250			_a1ra. ed.
260			_aMadrid : _bMcGraw-Hill, _c1993.
300			_a416 p. : _bfot., il.
520			_aEl objetivo del texto es mostrar como es posible calcular los programas, sin necesidad de construirlos y verlso fallar. Esta estructurado en cuatro partes: la primera establece un lenguje de comunicación con el lector; el segundo se centra en los programas recursivos, introduciendo la verificación por induccion, y describiendo la técnica de diseño de programas recursivos. La tercera parte explica como usar los conceptos desarrollados en la segunda para ayudar al diseño y calculo deprogramas itinerarios. La cuarta parte puede verse como una lista de ejemplos de aplicación de los metodos descriptos.
650		4	_aCOMPUTADORAS
650		4	_aLENGUAJES DE PROGRAMACION
650		4	_aPROCESAMIENTO ELECTRONICO DE DATOS
650		4	_aPROGRAMAS DE COMPUTADORA
650		4	_aTECNOLOGIA DE LAS COMUNICACIONES
651		4	_aDOCUMENTOS TEORICOS O METODOLOGICOS
905			_a2144
942			_cLIB
999			_c1393 _d1393