Descrição
In this engaging volume, Andrew W. Appel takes readers on a journey through the depths of functional algorithms, grounded in rigorous mathematical principles. The author’s laid-back style makes complex concepts more accessible, inviting readers to explore how verification can enhance software reliability.
With a focus on practical applications, this book bridges the gap between theory and real-world practice. Rich with examples and exercises, it encourages readers to think critically about algorithm design and implementation. Perfect for both seasoned programmers and curious learners, this work aims to deepen the understanding of verified functional programming enthusiasts.
With a focus on practical applications, this book bridges the gap between theory and real-world practice. Rich with examples and exercises, it encourages readers to think critically about algorithm design and implementation. Perfect for both seasoned programmers and curious learners, this work aims to deepen the understanding of verified functional programming enthusiasts.
Detalhes do Livro
Formato
eBook
Idioma
Inglês
Publicado
Sep 6, 2017