Verificación formal de algoritmos : ejercicios resueltos / Esther Lydia Silva Ramírez, Manuel López Coello.
Material type:
TextSeries: Universidad de Cádiz. Manuales. Ingenierías y arquitectura.Publisher: Cádiz : Universidad de Cádiz, 2018Description: 1 recurso en línea (240 páginas)Content type: - texto
- computadora
- recurso en línea
- 9788498285628
- 511.8 23
- QA9.58 S586 2018
| Item type | Current library | Status | |
|---|---|---|---|
Libros Electrónicos
|
Recursos Digitales | Not for loan |
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.