Functional Data Structures and Algorithms
A Proof Assistant Approach Engelstalig
Paperback
Nieuw vanaf 59,99
Koop Tweedehands
Niet tweedehands beschikbaar.
Koop NieuwWeb only
Centraal Magazijn
59,99
Verwachte levertijd: 4-5 weken
Ook verkrijgbaar als
Omschrijving
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.
Beste alternatieven
Specificaties
- Redacteur:Tobias Nipkow
-
Uitgever:
- ISBN:9798400731594
- Bindwijze:Paperback
- Aantal Pagina's:418
- Taal:Engelstalig
- Druk:1e
- Publicatiedatum:September 2025
-
Rubriek:
Recensies
Recensies van onze lezers
Beoordeel dit boek als eerste!
Om een recensie te schrijven moet je zijn.