Stel een vraag
Met het formulier hier onder kunt u contact op nemen met boekwinkel Boekstra.
Nipkow, Tobias - Functional Data Structures and Algorithms - A Proof Assistant Approach
De vraag gaat over de volgende titel:
| Afbeelding: |
|
|---|---|
| Schrijver: | Nipkow, Tobias |
| Titel: | Functional Data Structures and Algorithms - A Proof Assistant Approach |
| ISBN: | 9798400731594 |
| Uitgever: | Association of Computing Machinery,U.S. |
| Bijzonderheid: | 2025 418pp Paperback / softback |
| Prijs: |
€ 67,00
Gratis
|
| Meer info | Flaptekst 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. |
| Boek bekijken | |
Verzendkosten 1,75 euro per zending binnen Nederland, vanaf 19,90 euro GEEN verzendkosten binnen Nederland.
Verzendkosten België 3,95 euro per zending.
Bij bestellingen van 10 euro of minder zijn de verzendkosten hoger; zie vermelding bij het boek.
Speciale verzoeken? Meestal geen punt, vermeld ze in het veld opmerking.
De actuele levertijd kunt u vinden op onze website.
De verkoper zal binnen 1 werkdag contact met u opnemen om de koop verder af te handelen.