Functional Data Structures and Algorithms
A Proof Assistant Approach Engelstalig
Hardback
Nieuw vanaf 73,99
Koop Tweedehands
Niet tweedehands beschikbaar.
Koop NieuwWeb only
Centraal Magazijn
Adviesprijs
81,95
73,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 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
- Auteur:
-
Uitgever:
- ISBN:9798400731570
- Bindwijze:Hardback
- 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.