Functional Data Structures and Algorithms
A Proof Assistant Approach Engelstalig
Paperback
Nieuw vanaf 55,99
Koop Tweedehands
Niet tweedehands beschikbaar.
Koop NieuwWeb only
Centraal Magazijn
Adviesprijs
61,95
55,99
De 'adviesprijs' is de prijs die door de fabrikant of leverancier wordt aanbevolen. DeSlegte.com toont deze prijs enkel als referentiekader, zodat je het prijsverschil eenvoudig kunt vergelijken.
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
- Auteur:
-
Uitgever:
- ISBN:9798400731594
- Bindwijze:Paperback
- Aantal Pagina's:418
- Taal:Engelstalig
- Druk:1e
- Publicatiedatum:September 2025
Recensies
Recensies van onze lezers
Beoordeel dit boek als eerste!
Om een recensie te schrijven moet je zijn.