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.
francés
Yves Deville es un escritor y periodista francés conocido por su prosa incisiva y sus exploraciones en la narrativa contemporánea. Su obra aborda temas sociales y políticos, lo que lo convierte en una figura relevante en la literatura francesa actual.
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.
Aparecen junto a Yves Deville en búsquedas del archivo