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 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.
Beste alternatieven
Specificaties
- Redacteur:Tobias Nipkow
-
Uitgever:
- ISBN:9798400731570
- Bindwijze:Hardback
- 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.