Un libro técnico que explora el uso de la lógica formal para razonar sobre las propiedades de los programas de software, centrándose en la verificación y corrección.
polaco
Stefan Sokołowski es un autor contemporáneo conocido por sus contribuciones a la literatura polaca y su estilo innovador. Su trabajo ha sido influyente en la exploración de temas culturales y sociales en Polonia.
Un libro técnico que explora el uso de la lógica formal para razonar sobre las propiedades de los programas de software, centrándose en la verificación y corrección.
Aparecen junto a Stefan Sokołowski en búsquedas del archivo