Verificación formal de algoritmos : ejercicios resueltos / Esther Lydia Silva Ramírez, Manuel López Coello.
Tipo de material:
TextoSeries Universidad de Cádiz. Manuales. Ingenierías y arquitectura.Editor: Cádiz : Universidad de Cádiz, 2018Descripción: 1 recurso en línea (240 páginas)Tipo de contenido: - texto
- computadora
- recurso en línea
- 9788498285628
- 511.8 23
- QA9.58 S586 2018
No hay ítems correspondientes a este registro
Descripción basada en el editor de metadatos y otras fuentes.
Recurso electrónico. Santa Fe, Arg.: elibro, 2019. Disponible vía World Wide Web. El acceso puede estar limitado para las bibliotecas afiliadas a elibro.
No hay comentarios en este titulo.
Iniciar sesión para colocar un comentario.
