Buscador

Su búsqueda retornó 4 resultados.

Resultados
	1.	Corrección de algoritmos complejos : verificación formal / Esther Lydia Silva Ramírez y Manuel López Coello. por Silva Ramírez, Esther Lydia Lopez Coello, Manuel [autor.] Series E-libro \| Universidad de Cádiz. Manuales. Ingenierías y arquitectura.Editor: Cádiz : Universidad de Cádiz, 2017 Acceso en línea: Ver registro en E-Libro Disponibilidad: Ítems disponibles para préstamo: Biblioteca Virtual UTC (1)Signatura topográfica: BV.
	2.	Olimpiada y miniolimpiada de Química de Cantabria 2021 : enunciados y resolución / Enrique Álvarez Guerra. por Álvarez Guerra, Enrique Series E-libro \| Manuales Universidad de Cantabria ; 81.Editor: Santander : Editorial de la Universidad de Cantabria, 2021 Acceso en línea: Ver registro en E-Libro Disponibilidad: Ítems disponibles para préstamo: Biblioteca Virtual UTC (1)Signatura topográfica: BV.
	3.	Perspectivas sobre la vida humana : cuerpo, mente, género y persona / Javier San Martín, Tomás Domingo Moratalla (eds.). por San Martín, Javier, 1946- Domingo Moratalla, Tomás Series E-libro \| Manuales UniversidadEditor: [Madrid] : Biblioteca Nueva, 2011 Acceso en línea: Ver registro en E-Libro Disponibilidad: Ítems disponibles para préstamo: Biblioteca Virtual UTC (1)Signatura topográfica: BV.
	4.	Verificación formal de algoritmos : ejercicios resueltos / Esther Lydia Silva Ramírez, Manuel López Coello. por Silva Ramírez, Esther Lydia López Coello, Manuel [autor.] Series E-libro \| Universidad de Cádiz. Manuales. Ingenierías y arquitectura.Editor: Cádiz : Universidad de Cádiz, 2018 Acceso en línea: Ver registro en E-Libro Disponibilidad: Ítems disponibles para préstamo: Biblioteca Virtual UTC (1)Signatura topográfica: BV.