Daniel P. Friedman Series

Daniel P. Friedman is a professor of computer science whose work centers on programming languages and formal methods. He is the author of several influential books that systematically introduce readers to complex computer science concepts. His approach uses didactic dialogues and examples to develop a deep understanding of programming principles and logical reasoning.