Corrección de algoritmos complejos / Silva Ramírez, Esther Lydia.  

Público ISBD Ningún comentario para este título. Título : Corrección de algoritmos complejos  : verificación formal Tipo de documento: documento electrónico Autores: Silva Ramírez, Esther Lydia. ; Lopez Coello, Manuel, Editorial: Servicio de Publicaciones de la Universidad de Cádiz Fecha de publicación: 2018 Número de páginas: 1 recurso en línea (IX, 214 páginas) ISBN/ISSN/DL: 978-84-9828-564-2 Palabras clave:   Algorithms.  Algoritmos. Clasificación: 511.8 Enlace de acceso : https://elibro-net.biblioproxy.umanizales.edu.co/es/lc/umanizales/titulos/33887 Corrección de algoritmos complejos  : verificación formal [documento electrónico] / Silva Ramírez, Esther Lydia. ; Lopez Coello, Manuel,  . - Servicio de Publicaciones de la Universidad de Cádiz, 2018 . - 1 recurso en línea (IX, 214 páginas). ISBN : 978-84-9828-564-2 Palabras clave:   Algorithms.  Algoritmos. Clasificación: 511.8 Enlace de acceso : https://elibro-net.biblioproxy.umanizales.edu.co/es/lc/umanizales/titulos/33887

Verificación formal de algoritmos / Silva Ramírez, Esther Lydia.  

Público ISBD Ningún comentario para este título. Título : Verificación formal de algoritmos  : ejercicios resueltos Tipo de documento: documento electrónico Autores: Silva Ramírez, Esther Lydia. ; Lopez Coello, Manuel, Editorial: Servicio de Publicaciones de la Universidad de Cádiz Fecha de publicación: 2018 Número de páginas: 1 recurso en línea (240 páginas) ISBN/ISSN/DL: 978-84-9828-562-8 Palabras clave:   Algorithms.  Algoritmos Clasificación: 511.8 Enlace de acceso : https://elibro-net.biblioproxy.umanizales.edu.co/es/lc/umanizales/titulos/33886 Verificación formal de algoritmos  : ejercicios resueltos [documento electrónico] / Silva Ramírez, Esther Lydia. ; Lopez Coello, Manuel,  . - Servicio de Publicaciones de la Universidad de Cádiz, 2018 . - 1 recurso en línea (240 páginas). ISBN : 978-84-9828-562-8 Palabras clave:   Algorithms.  Algoritmos Clasificación: 511.8 Enlace de acceso : https://elibro-net.biblioproxy.umanizales.edu.co/es/lc/umanizales/titulos/33886

---

1 (1 - 2 / 2) Ver por página : 25 50 100 200