000			01762nam a22003857a 4500
999			_c8835 _d8835
005			20250604102720.0
008			181206t2005 sp a ||||| |||| 10| spapa d
020			_a8420541915
040			_aUNAMBA _bspa _cBiblioteca Especializada de Ingeniería Informática y Sistemas _erda
041			_aspa
082			_a003.0151 _bP42 _d3
100			_aPeña Marí, Ricardo _eAutor _c(Catedrático)
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			_axix, 466 páginas _b: Ilustraciones, figuras _c; 17.2 x 24 centímetros
506			_aSala especializada / a domicilio
520			_aPresenta una amplia variedad de técnicas de programación, tales como el diseño y la verificación de programas recursivos, la formal de programas iterativos y la especificación algebraica de tipos abstractos de datos.
526			_aE.A.P. Ingeniería Informática y Sistemas
546			_aTexto en español
590			_aPara corregir/ actualización código Dewey de 003.0151 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			_aJosé Luis Mondalgo Céspedes _b06/02/2019
911			_aMariela B.A. _b01/09/2022
942			_2ddc _a109207BEIISC _cLIB