Formal Specification of Software
2005·divulgacion
Este libro aborda los fundamentos y técnicas de la especificación formal en el desarrollo de software, utilizando métodos matemáticos para describir y verificar sistemas.
colombiano
Luis Alberto Galindo es un destacado poeta y escritor colombiano, conocido por su contribución a la literatura contemporánea en Colombia y su exploración de temas como la identidad y la memoria. Su obra ha sido reconocida por su profundidad lírica y su enfoque en la experiencia humana.
2005·divulgacion
Este libro aborda los fundamentos y técnicas de la especificación formal en el desarrollo de software, utilizando métodos matemáticos para describir y verificar sistemas.
Aparecen junto a Luis Alberto Galindo en búsquedas del archivo