Functional Data Structures and Algorithms: A Proof Assistant Approach

Functional Data Structures and Algorithms: A Proof Assistant Approach by Tobias

Tobias Nipkow Functional Data Structures and Algorithms (Paperback) (UK IMPORT)

Algorithms and Data Structures (Paperback or Softback)

Data Structures and Algorithms in Java - paperback Adam Drozdek

Functional Data Structures and Algorithms: A Proof Assistant Approach

Data Structures and Algorithms in Java - paperback Adam Drozdek

Algorithm Illustrated Book 33 Algorithms and 7 Data Structures Explained with Pi