Fortell venner om denne varen:
Functional Data Structures and Algorithms: A Proof Assistant Approach Tobias Nipkow
Pris
NOK 759
Bestillingsvarer
Forventes levert 23. jul - 6. aug
Få varsel om nye utgivelser fra Tobias Nipkow
Legg til iMusic ønskeliste
eller
Finnes også som:
Functional Data Structures and Algorithms: A Proof Assistant Approach
Tobias Nipkow
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.
| Media | Bøker Innbunden bok (Bok med hard rygg og stivt omslag) |
| Utgitt | 30. september 2025 |
| ISBN13 | 9798400731570 |
| Utgivere | Association of Computing Machinery,U.S. |
| Antall sider | 418 |
| Mål | 150 × 220 × 20 mm · 929 g |
Mer med Tobias Nipkow
Vis alle![Cover for Tobias Nipkow · Concrete Semantics: With Isabelle / HOL (Innbunden bok) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/413/9783319105413.jpg?tobias-nipkow-2014-concrete-semantics-with-isabelle-hol-innbunden-bok&class=scaled&v=1418535428)
Mer fra samme **utgiver**
![Cover for Ronald M. Baecker · Digital Dreams Have Become Nightmares: What We Must Do (Pocketbok) [Second edition] (2024)](https://imusic.b-cdn.net/images/item/original/680/9798400717680.jpg?ronald-m-baecker-2024-digital-dreams-have-become-nightmares-what-we-must-do-pocketbok&class=scaled&v=1773847087)
Se alt med Tobias Nipkow ( f.eks. Pocketbok og Innbunden bok )