Corrección de algoritmos complejos : verificación formal / Esther Lydia Silva Ramírez y Manuel López Coello.
Tipo de material:
TextoSeries Universidad de Cádiz. Manuales. Ingenierías y arquitectura.Editor: Cádiz : Universidad de Cádiz, 2017Descripción: 1 recurso en línea (IX, 214 páginas)Tipo de contenido: - texto
- computadora
- recurso en línea
- 9788498285642
- 511.8 23
- QA9.58 S586 2017
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.
