Logic, BDDs, and Functional Programming
por Lester E. Heath · 2011
Ver sugerenciasSinopsis
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)
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Descubre libros parecidos a este
Entra para ver las conexiones que yoleo encuentra con el resto del catálogo, y para guardar los que te interesen.