Logic, BDDs, and Functional Programming
2011·divulgacion
Este libro explora la intersección entre la lógica, los Diagrams de Decisión Binaria (BDD) y la programación funcional, mostrando cómo estas herramientas pueden usarse para resolver problemas complejos de diseño y verificación de sistemas. Presenta un enfoque riguroso y matemáticamente fundamentado. [worldcat.org](https://worldcat.org/es/title/774431835)