Verificación formal de algoritmos : ejercicios resueltos /

Guardado en:
Detalles Bibliográficos
Autor principal: Silva Ramírez, Esther Lydia.
Otros Autores: López Coello, Manuel (autor.)
Formato: Libro electrónico
Lenguaje:Español
Publicado: Cádiz : Universidad de Cádiz, 2018.
Colección:Universidad de Cádiz. Ingenierías y arquitectura.
Materias:
Acceso en línea:Click to View
LEADER 01507nam a2200361 i 4500
001 ELB33886
003 FlNmELB
005 20190702105710.0
006 m o d |
007 cr cnu||||||||
008 190415s2018 sp o 000 0 spa d
020 |a 9788498285628  |q (electronic bk.) 
035 |a (OCoLC)1128380101 
040 |a FINmELB  |b spa  |e rda  |c FINmELB 
050 4 |a QA9.58  |b S586 2018 
080 |a 510.5(076.3) 
082 0 |a 511.8  |2 23 
100 1 |a Silva Ramírez, Esther Lydia. 
245 1 0 |a Verificación formal de algoritmos :  |b ejercicios resueltos /  |c Esther Lydia Silva Ramírez, Manuel López Coello. 
264 1 |a Cádiz :  |b Universidad de Cádiz,  |c 2018. 
300 |a 1 recurso en línea (240 páginas) 
336 |a texto  |b txt  |2 rdacontent/spa 
337 |a computadora  |b c  |2 rdamedia/spa 
338 |a recurso en línea  |b cr  |2 rdacarrier/spa 
490 1 |a Manuales / Universidad de Cádiz. Ingenierías y arquitectura 
588 |a Descripción basada en el editor de metadatos y otras fuentes. 
590 |a Recurso 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 |a Algorithms. 
650 4 |a Algoritmos  |v Problemas y ejercicios. 
655 4 |a Libros electronicos. 
700 1 |a López Coello, Manuel,  |e autor. 
830 0 |a Universidad de Cádiz.  |t Manuales.  |p Ingenierías y arquitectura. 
856 4 0 |u https://elibro.net/ereader/siduncu/33886  |z Click to View