000			01522nam a2200373 i 4500
001			ELB33886
003			FlNmELB
005			20250326035309.0
006			m o d |
007			cr cnu||||||||
008			190415s2018 sp o 000 0 spa d
020			_a9788498285628 _q(electronic bk.)
035			_a(OCoLC)1128380101
040			_aFINmELB _bspa _erda _cFINmELB
050		4	_aQA9.58 _bS586 2018
080			_a510.5(076.3)
082	0		_a511.8 _223
100	1		_aSilva Ramírez, Esther Lydia.
245	1	0	_aVerificación formal de algoritmos : _bejercicios resueltos / _cEsther Lydia Silva Ramírez, Manuel López Coello.
264		1	_aCádiz : _bUniversidad de Cádiz, _c2018.
300			_a1 recurso en línea (240 páginas)
336			_atexto _btxt _2rdacontent/spa
337			_acomputadora _bc _2rdamedia/spa
338			_arecurso en línea _bcr _2rdacarrier/spa
490	1		_aManuales / Universidad de Cádiz. Ingenierías y arquitectura
588			_aDescripción basada en el editor de metadatos y otras fuentes.
590			_aRecurso electrónico. Santa Fe, Arg.: elibro, 2019. Disponible vía World Wide Web. El acceso puede estar limitado para las bibliotecas afiliadas a elibro.
650		0	_aAlgorithms.
650		4	_aAlgoritmos _vProblemas y ejercicios.
655		4	_aLibros electronicos.
700	1		_aLópez Coello, Manuel, _eautor.
830		0	_aUniversidad de Cádiz. _tManuales. _pIngenierías y arquitectura.
856	4	0	_uhttps://elibro.net/ereader/usam/33886 _zClick to View
999			_c73396 _d73396