Povej prijatelju o tem izdelku:
Functional Data Structures and Algorithms: A Proof Assistant Approach Tobias Nipkow
Cena
€ 71,99
Naročeno iz oddaljenega skladišča
Predvidena dobava 7. - 21. avg
Prejemajte obvestila o novih izdajah izvajalca Tobias Nipkow
Kaj pravijo naše stranke:
Dodaj na svoj seznam želja iMusic
Na voljo tudi kot:
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.
| Medij | Knjige Hardcover Book (Knjiga s trdim hrbtom in platnicami) |
| Izdano | 30. septembra 2025 |
| ISBN13 | 9798400731570 |
| Založniki | Association of Computing Machinery,U.S. |
| Strani | 418 |
| Dimenzije | 150 × 220 × 20 mm · 929 g |
Več od Tobias Nipkow
Prikaži vse![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)
Več od istega **izdajatelja**
![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)
Ogled vseh Tobias Nipkow ( Na primer Paperback Book in Hardcover Book )