Principios de la teoría de la programación lógica
por Joxan Jaffar · 1987
Sinopsis
Este libro presenta una base teórica para la programación lógica, explorando sus fundamentos matemáticos y las conexiones con la lógica de primer orden, así como sus aplicaciones en la verificación formal de programas.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Restará un crédito a tus libros recomendados de esta semana.