Functional Data Structures and Algorithms
A Proof Assistant Approach Engelstalig
Koop Tweedehands
Koop NieuwWeb only
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.
Week van het Engelse Boek 12 t/m 25 oktober 2026
+ Gratis boek "The Baby Dragon Tulip Farm" van A.T. Qureshi bij aankoop vanaf €14,99 aan Engelstalige literatuur, Fantasy en Young Adult tijdens de Week van het Engelse boek. Lees meer...
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.