Functional Data Structures and Algorithms: A Proof Assistant Approach - Tobias Nipkow - Kirjat - Association of Computing Machinery,U.S. - 9798400731570 - tiistai 30. syyskuuta 2025
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Tobias Nipkow
Functional Data Structures and Algorithms: A Proof Assistant Approach

Hinta
€ 77,49

Tilattu etävarastosta

Arvioitu toimitus to 8. - 22. loka
Saat ilmoituksen artistin Tobias Nipkow uusista julkaisuista

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

Ei vielä arvioitu

Löytyy myös muodossa:

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 Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä tiistai 30. syyskuuta 2025
ISBN13 9798400731570
Tuottaja Association of Computing Machinery,U.S.
Sivujen määrä 418
Mitta 150 × 220 × 20 mm   ·   929 g

Lisää tuotteita Tobias Nipkow

Näytä kaikki

Lisää samalta julkaisijalta

Katso kaikki joka sisältää Tobias Nipkow