Verificación formal de algoritmos : ejercicios resueltos /
מחבר ראשי: | Silva Ramírez, Esther Lydia |
---|---|
מחברים אחרים: | López Coello, Manuel (autor.) |
פורמט: | Libros Digitales |
שפה: | ספרדית |
יצא לאור: |
Cádiz :
Universidad de Cádiz,
2018.
|
סדרה: | Universidad de Cádiz. Ingenierías y arquitectura.
|
נושאים: | |
גישה מקוונת: | Click to View |
פריטים דומים
-
Corrección de algoritmos complejos : verificación formal /
מאת: Silva Ramírez, Esther Lydia
יצא לאור: (2017) -
Algoritmo óptimo para planificación de búsqueda en disco
מאת: Castillo, Enrique F., et al.
יצא לאור: (2005) -
Efecto del tamaño del archivo, la entropía y el tamaño del alfabeto en el rendimiento del algoritmo de Huffman /
יצא לאור: (2008) -
Algoritmos y estructuras de datos /
מאת: Fritelli, Valerio
יצא לאור: (2020) -
Algoritmos y programación : mejores prácticas /
מאת: Ayala San Martín, Gerardo
יצא לאור: (2020)