Corrección de algoritmos complejos : verificación formal /
Guardado en:
Autor principal: | Silva Ramírez, Esther Lydia. |
---|---|
Otros Autores: | Lopez Coello, Manuel (autor.) |
Formato: | Libro electrónico |
Lenguaje: | Español |
Publicado: |
Cádiz :
Universidad de Cádiz,
2017.
|
Colección: | Universidad de Cádiz. Ingenierías y arquitectura.
|
Materias: | |
Acceso en línea: | Click to View |
Ejemplares similares
-
Verificación formal de algoritmos : ejercicios resueltos /
por: Silva Ramírez, Esther Lydia.
Publicado: (2018) -
Algoritmo óptimo para planificación de búsqueda en disco
por: Castillo, Enrique F., et al.
Publicado: (2005) -
Efecto del tamaño del archivo, la entropía y el tamaño del alfabeto en el rendimiento del algoritmo de Huffman /
Publicado: (2008) -
Algoritmos y estructuras de datos /
por: Fritelli, Valerio,
Publicado: (2020) -
Algoritmos y programación : mejores prácticas /
por: Ayala San Martín, Gerardo.
Publicado: (2020)