Especificaciones de Programas a Través de Programación Lógica (Program Specifications Through Logic Programming)
por Yves Deville · 1990
Sinopsis
Un tratado técnico que explora cómo la programación lógica puede usarse para especificar y verificar propiedades de programas, enfatizando la claridad y la corrección.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda