Discover data structures and algorithms for functional programming with rigorously verified proofs using Isabelle. Covering sorting, priority queues, dynamic programming, advanced heap structures, and graph algorithms, it unifies program correctness with runtime analysis through inductively proven methods for both learners and practitioners.
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.
