Este libro introduce los métodos formales utilizados en la informática para probar y verificar sistemas, comenzando con la lógica booleana y avanzando hacia sistemas probabilísticos.
holandés
J.C. van Vliet es un autor y académico que ha contribuido al ámbito de la literatura y la crítica literaria. Es relevante por su trabajo en el estudio de la narrativa contemporánea y sus análisis en el contexto de la literatura moderna.
Este libro introduce los métodos formales utilizados en la informática para probar y verificar sistemas, comenzando con la lógica booleana y avanzando hacia sistemas probabilísticos.
Aparecen junto a J.C. van Vliet en búsquedas del archivo