Verificación formal de algoritmos : ejercicios resueltos /
Saved in:
Main Author: | Silva Ramírez, Esther Lydia. |
---|---|
Other Authors: | López Coello, Manuel, (autor.) |
Format: | eBook |
Language: | Spanish |
Published: |
Cádiz :
Universidad de Cádiz,
2018.
|
Series: | Universidad de Cádiz. Ingenierías y arquitectura.
|
Subjects: | |
Online Access: | Click to View |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Corrección de algoritmos complejos : verificación formal /
by: Silva Ramírez, Esther Lydia.
Published: (2017) -
Algoritmo óptimo para planificación de búsqueda en disco
by: Castillo, Enrique F., et al.
Published: (2005) -
Efecto del tamaño del archivo, la entropía y el tamaño del alfabeto en el rendimiento del algoritmo de Huffman /
Published: (2008) -
El doble problema del viajante con múltiples pilas
by: Tirado Domínguez, Gregorio.
Published: (2010) -
Esquemas algorítmicos
by: Rico, Juan Ramón.
Published: (2003)