Verificación formal de algoritmos : ejercicios resueltos /
Cote: | Libro Electrónico |
---|---|
Auteur principal: | Silva Ramírez, Esther Lydia |
Autres auteurs: | López Coello, Manuel (autor.) |
Format: | eBook |
Langue: | Español |
Publié: |
Cádiz :
Universidad de Cádiz,
2018.
|
Collection: | Universidad de Cádiz. Ingenierías y arquitectura.
|
Sujets: | |
Accès en ligne: | Texto completo |
Documents similaires
-
Corrección de algoritmos complejos : verificación formal /
par: Silva Ramírez, Esther Lydia
Publié: (2017) -
Algoritmo óptimo para planificación de búsqueda en disco
par: Castillo, Enrique F., et autres
Publié: (2005) -
Algoritmos y estructuras de datos /
par: Fritelli, Valerio
Publié: (2020) -
Efecto del tamaño del archivo, la entropía y el tamaño del alfabeto en el rendimiento del algoritmo de Huffman /
Publié: (2008) -
Algoritmos y programación : mejores prácticas /
par: Ayala San Martín, Gerardo
Publié: (2020)