Pastāsti draugiem par šo preci:
Functional Data Structures and Algorithms: A Proof Assistant Approach Tobias Nipkow
Cena
€ 76,49
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 7. - 21. jūl.
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Pieejams arī kā:
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.
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2025. gada 30. septembris |
| ISBN13 | 9798400731570 |
| Izdevēji | Association of Computing Machinery,U.S. |
| Lapas | 418 |
| Izmēri | 150 × 220 × 20 mm · 929 g |
Vairāk no Tobias Nipkow
Rādīt visu![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)
Mere med samme udgiver
![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)
Skatīt visus Tobias Nipkow ( piem., Paperback Book un Hardcover Book )