Lógica Algorítmica
por Andrzej M. Mostowski · 1964
Ver sugerenciasSinopsis
Este libro aborda los fundamentos lógicos del razonamiento sobre algoritmos y programas, explorando cómo la lógica matemática puede ser utilizada para describir y verificar propiedades de sistemas computacionales.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Descubre libros parecidos a este
Entra para ver las conexiones que yoleo encuentra con el resto del catálogo, y para guardar los que te interesen.