000			01843nam a22004337a 4500
999			_c29827 _d29827
005			20250213092406.0
008			181206b sp a|||| |||| 00| 0 spa d
020			_a8420541915
040			_aUNAMBA _bspa _cBiblioteca Central _erda
041			_aspa
082			_a005.133 _bP42 _d06
100			_aPeña Marí, Ricardo _eAutor
245			_aDiseño de Programas: _bFormalismo y Abstracción / _cRicardo Peña Marí _h[Impreso]
250			_aTercera edición
264			_aMadrid - España: _bPearson Educación, _c2005
300			_a[xx], 466 páginas _b: Ilustraciones, figuras _c; 17.2 x 24 centímetros.
504			_aBibliografía de la página 453 - 459 / Incluye índice analítico
506			_aSala general / a domicilio
520			_aEn el libro se describen técnicas tales como el diseño y la verificación de programas recursivos, la derivación formal de programas iterativos y la especificación algebraica de tipos abstractos.
526			_aE.A.P. Ingeniería Informática y Sistemas
546			_aTexto en español
590			_aPara corregir/ actualización código Dewey de 005.12 a 005.133
650		0	_916905 _aPROGRAMACIÓN DE ORDENADORES
650		0	_916940 _aPROGRAMACIÓN LÓGICA
650		0	_917106 _aPROGRAMAS Y SISTEMAS DE PROGRAMACIÓN
651			_aEspaña
900			_bLIB
910			_aNélida Elizabeth Gómez Ramos _b06/12/2018
911			_aMariela B.A. _b04/04/2022
942			_2ddc _a109201BCSGSC _cLIB