Povedzte o tejto položke priateľom:
Functional Data Structures and Algorithms: A Proof Assistant Approach Tobias Nipkow
Cena
€ 73,49
Objednané zo vzdialeného skladu
Očakávané doručenie 7. - 21. sep
Dostávajte upozornenia na nové nahrávky interpreta Tobias Nipkow
Naši zákazníci hovoria:
Pridať do vášho zoznamu prianí na iMusic
Tiež dostupné ako:
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.
| Médium | Knihy Hardcover Book (Kniha s pevnou väzbou a obalom) |
| Vydané | 30. septembra 2025 |
| ISBN13 | 9798400731570 |
| Vydavatelia | Association of Computing Machinery,U.S. |
| Strany | 418 |
| Rozmery | 150 × 220 × 20 mm · 929 g |
Viac od Tobias Nipkow
Zobraziť všetko![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)
Viac od toho istého vydavateľa
![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)
Pozrieť všetko od Tobias Nipkow ( napr. Paperback Book a Hardcover Book )