Discover data structures and algorithm design in functional programming through rigorous, machine-checked Isabelle proofs. Topics span sorting, searching, priority queues, dynamic programming, splay trees, graph and string algorithms, Huffman coding, and alpha-beta game tree pruning techniques.
Ik heb een vraag over het boek:
‘Functional Data Structures and Algorithms - Nipkow, Tobias’.
Vul het onderstaande formulier in.
We zullen zo spoedig mogelijk antwoorden.
