000			01496nam a2200373 i 4500
001			ELB33887
003			FlNmELB
005			20250326035307.0
006			m o d |
007			cr cnu||||||||
008			190415s2017 sp o 000 0 spa d
020			_a9788498285642 _q(electronic bk.)
035			_a(OCoLC)1128385314
040			_aFINmELB _bspa _erda _cFINmELB
050		4	_aQA9.58 _bS586 2017
080			_a510.5
082	0		_a511.8 _223
100	1		_aSilva Ramírez, Esther Lydia.
245	1	0	_aCorrección de algoritmos complejos : _bverificación formal / _cEsther Lydia Silva Ramírez y Manuel López Coello.
264		1	_aCádiz : _bUniversidad de Cádiz, _c2017.
300			_a1 recurso en línea (IX, 214 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.
655		4	_aLibros electronicos.
700	1		_aLopez Coello, Manuel, _eautor.
830		0	_aUniversidad de Cádiz. _tManuales. _pIngenierías y arquitectura.
856	4	0	_uhttps://elibro.net/ereader/usam/33887 _zClick to View
999			_c73336 _d73336