Lógica Algorítmica
por Andrzej M. Mostowski · 1964
Sinopsis
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