Daniel P. Friedman Series

Daniel P. Friedman es un profesor de ciencias de la computación cuyo trabajo se centra en lenguajes de programación y métodos formales. Es autor de varios libros influyentes que introducen sistemáticamente a los lectores a conceptos complejos de la informática. Su enfoque utiliza diálogos didácticos y ejemplos para desarrollar una comprensión profunda de los principios de programación y el razonamiento lógico.