Functional Data Structures and Algorithms: A Proof Assistant Approach - Tobias Nipkow - Livres - Association of Computing Machinery,U.S. - 9798400731594 - 30 septembre 2025
Si la couverture et le titre ne correspondent pas, le titre est correct.

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

Prix
€ 53,49

Commandé depuis un entrepôt distant

Livraison prévue 4 - 18 sept.
Recevez une notification pour les nouvelles sorties de Tobias Nipkow

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

Pas encore évalué

Également disponible en tant que :

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.

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 30 septembre 2025
ISBN13 9798400731594
Éditeurs Association of Computing Machinery,U.S.
Pages 418
Dimensions 150 × 220 × 10 mm   ·   712 g

Plus par Tobias Nipkow

Afficher tout

Plus d'ouvrages du même éditeur

Voir tous les Tobias Nipkow ( par ex. Paperback Book et Hardcover Book )