Verificación formal de algoritmos
ejercicios resueltos
Silva Ramírez, Esther Lydia.
creator
López Coello, Manuel
autor.
text
Libros electronicos.
sp
2018
monographic
spa
1 recurso en línea (240 páginas)
Esther Lydia Silva Ramírez, Manuel López Coello.
Algorithms
Algoritmos
Problemas y ejercicios
QA9.58 S586 2018
511.8
510.5(076.3)
Universidad de Cádiz
Ingenierías y arquitectura
9788498285628
https://elibro.net/ereader/politecnicointernacional/33886
https://elibro.net/ereader/politecnicointernacional/33886
FINmELB
190415
20241217142720.0
66393
spa