Verificación formal de algoritmos : ejercicios resueltos /
Enregistré dans:
| Auteur principal: | Silva Ramírez, Esther Lydia |
|---|---|
| Autres auteurs: | López Coello, Manuel (autor.) |
| Format: | eBook |
| Langue: | espagnol |
| Publié: |
Cádiz :
Universidad de Cádiz,
2018.
|
| Collection: | Universidad de Cádiz. Ingenierías y arquitectura.
|
| Sujets: | |
| Accès en ligne: | Click to View |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
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) -
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 estructuras de datos /
par: Fritelli, Valerio
Publié: (2020) -
Algoritmos y programación : mejores prácticas /
par: Ayala San Martín, Gerardo
Publié: (2020)