Functional Data Structures and Algorithms
Tobias Nipkow
Engels | 30-09-2025 | 418 pagina's
9798400731594
Paperback / softback
61,95
Van Dinter boeken
Niet in magazijn, wel te bestellen.
Informeer naar levertijd
Informeer naar levertijd
Zonder kosten afhalen in onze winkel
Gratis parkeren voor de deur
Tekst achterflap
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.
Details
| EAN : | 9798400731594 |
| Uitgever : | Van Ditmar Boekenimport B.V. |
| Publicatie datum : | 30-09-2025 |
| Uitvoering : | Paperback / softback |
| Taal/Talen : | Engels |
| Status : | Niet in magazijn, wel te bestellen. Informeer naar levertijd |
| Aantal pagina's : | 418 |
| Reeks : | ACM Books |