Functional Data Structures and Algorithms: A Proof Assistant Approach - Tobias Nipkow - Kirjat - Association of Computing Machinery,U.S. - 9798400731594 - 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
€ 58,49

Tilattu etävarastosta

Arvioitu toimitus ti 18. elo - ti 1. syys
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 algorithm design in functional programming through rigorous, machine-checked Isabelle proofs. Topics span sorting, searching, priority queues, dynamic programming, splay trees, graph and string algorithms, Huffman coding, and alpha-beta game tree pruning techniques.

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä tiistai 30. syyskuuta 2025
ISBN13 9798400731594
Tuottaja Association of Computing Machinery,U.S.
Sivujen määrä 418
Mitta 150 × 220 × 10 mm   ·   712 g

Lisää tuotteita Tobias Nipkow

Näytä kaikki

Lisää samalta julkaisijalta

Katso kaikki joka sisältää Tobias Nipkow ( Esim. Paperback Book Ja Hardcover Book )