Correcci�on de algoritmos complejos : verificaci�on formal /

Guardado en:
Detalles Bibliográficos
Autor principal: Silva Ram�irez, Esther Lydia
Otros Autores: Lopez Coello, Manuel (autor.)
Formato: Libro electrónico
Lenguaje:Español
Publicado: C�adiz : Universidad de C�adiz, 2017.
Colección:Universidad de C�adiz. Ingenier�ias y arquitectura.
Materias:
Acceso en línea:Click to View
Aporte de:Registro referencial: Solicitar el recurso aquí
LEADER 01526nam a2200373 i 4500
001 ELB33887
003 FlNmELB
005 20241223190013.0
006 m o d |
007 cr cnu||||||||
008 190415s2017 sp o 000 0 spa d
020 |a 9788498285642  |q (electronic bk.) 
035 |a (OCoLC)1128385314 
040 |a FINmELB  |b spa  |e rda  |c FINmELB 
050 4 |a QA9.58  |b S586 2017 
080 |a 510.5 
082 0 |a 511.8  |2 23 
100 1 |a Silva Ram�irez, Esther Lydia. 
245 1 0 |a Correcci�on de algoritmos complejos :  |b verificaci�on formal /  |c Esther Lydia Silva Ram�irez y Manuel L�opez Coello. 
264 1 |a C�adiz :  |b Universidad de C�adiz,  |c 2017. 
300 |a 1 recurso en l�inea (IX, 214 p�aginas) 
336 |a texto  |b txt  |2 rdacontent/spa 
337 |a computadora  |b c  |2 rdamedia/spa 
338 |a recurso en l�inea  |b cr  |2 rdacarrier/spa 
490 1 |a Manuales / Universidad de C�adiz. Ingenier�ias y arquitectura 
588 |a Descripci�on basada en el editor de metadatos y otras fuentes. 
590 |a Recurso electr�onico. Santa Fe, Arg.: elibro, 2019. Disponible v�ia World Wide Web. El acceso puede estar limitado para las bibliotecas afiliadas a elibro. 
650 0 |a Algorithms. 
650 4 |a Algoritmos. 
655 4 |a Libros electronicos. 
700 1 |a Lopez Coello, Manuel,  |e autor. 
830 0 |a Universidad de C�adiz.  |t Manuales.  |p Ingenier�ias y arquitectura. 
856 4 0 |u https://elibro.net/ereader/ufasta/33887  |z Click to View 
999 |c 93590  |d 93590