Freunden von diesem Artikel berichten:
Functional Data Structures and Algorithms: A Proof Assistant Approach Tobias Nipkow
Preis
€ 55,99
Bestellware
Lieferdatum: ca. 15. - 29. Okt
Benachrichtigungen über neue Veröffentlichungen von Tobias Nipkow erhalten
Zu deiner iMusic Wunschliste hinzufügen
oder
Auch vorhanden als:
Functional Data Structures and Algorithms: A Proof Assistant Approach
Tobias Nipkow
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.
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 30. September 2025 |
| ISBN13 | 9798400731594 |
| Verlag | Association of Computing Machinery,U.S. |
| Seitenanzahl | 418 |
| Maße | 150 × 220 × 10 mm · 712 g |
![Cover for Tobias Nipkow · Concrete Semantics: With Isabelle / HOL (Taschenbuch) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/591/9783319357591.jpg?tobias-nipkow-2016-concrete-semantics-with-isabelle-hol-taschenbuch&class=scaled&v=1512057389)
![Cover for Tobias Nipkow · Isabelle / HOL: A Proof Assistant for Higher-Order Logic - Lecture Notes in Computer Science (Taschenbuch) [2002 edition] (2002)](https://imusic.b-cdn.net/images/item/original/767/9783540433767.jpg?tobias-nipkow-2002-isabelle-hol-a-proof-assistant-for-higher-order-logic-lecture-notes-in-computer-science-taschenbuch&class=scaled&v=1550702847)
