Vertel uw vrienden over dit artikel:
Functional Data Structures and Algorithms: A Proof Assistant Approach Tobias Nipkow
Prijs
€ 71,99
Besteld in een afgelegen magazijn
Verwachte levering 31 jul. - 14 aug.
Ontvang meldingen over nieuwe releases van Tobias Nipkow
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
Ook verkrijgbaar als:
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 | Boeken Hardcover Book (Boek met harde rug en kaft) |
| Vrijgegeven | 30 september 2025 |
| ISBN13 | 9798400731570 |
| Uitgevers | Association of Computing Machinery,U.S. |
| Pagina's | 418 |
| Afmetingen | 150 × 220 × 20 mm · 929 g |
Meer door Tobias Nipkow
Alles tonen![Cover for Tobias Nipkow · Concrete Semantics: With Isabelle / HOL (Hardcover Book) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/413/9783319105413.jpg?tobias-nipkow-2014-concrete-semantics-with-isabelle-hol-hardcover-book&class=scaled&v=1418535428)
Meer van dezelfde uitgever
![Cover for Ronald M. Baecker · Digital Dreams Have Become Nightmares: What We Must Do (Paperback Book) [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-paperback-book&class=scaled&v=1773847087)
Bekijk alles van Tobias Nipkow ( bijv. Paperback Book en Hardcover Book )