Telecharger Cours

Functional Algorithms, Verified! - Chair for Logic and Verification

This book is an introduction to data structures and algorithms for functional languages, with a focus on proofs. It covers both functional ...



Download