Functional Data Structures and Algorithms

Langue : anglais

Edité par Association of Computing Machinery,U.S., US, 2025

9798400731594

Image de l’article 1 de 2

Vendeur : Rarewaves USA, HEBRON, KY, Etats-UnisRarewaves USA

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 10 juin 2025

Afficher les articles de ce vendeur
Livre broché

Etat: Neuf

EUR 62,36

 Frais de port gratuits 
Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier
Retours gratuits sous 30 jours

Item description from seller

This book is an introduction to data structures and algorithms for functional programming languages, with a focus on proofs. Starting with sorting and searching, it moves on to priority queues and advanced design and analysis techniques: dynamic programming, amortized analysis, splay trees, skew heaps and pairing heaps. The final part of the book covers a number of selected fun topics: graph algorithms, string search, Huffman's algorithm for generating optimal codes and alpha-beta pruning of game trees. The book covers both correctness (does the algorithm do what it is supposed to do?) and running time analysis (does the algorithm terminate within a specified number of steps?). It does so in a unified manner with inductive proofs about functional programs and their running time functions. What sets this book apart from existing books on algorithms is that all proofs have been machine-checked, by the proof assistant Isabelle. That is, in addition to the text in the book, which requires no knowledge of proof assistants!, the Isabelle definitions and proofs are available online. The structured nature of Isabelle proofs permits even novices to follow the high-level arguments. This book is aimed at teachers and students (it has been classroom-tested for a number of years) but is also a reference work for programmers and researchers who are interested in the (verified!) details of some algorithm or proof.

N° de réf. du vendeur LU-9798400731594

Titre
Functional Data Structures and Algorithms
Auteur
Tobias Nipkow
Éditeur
Association of Computing Machinery,U.S., US
Année de publication
2025
État de l'article
New
Reliure
Paperback
Langue
anglais
ISBN à 13 chiffres
9798400731594
Dimensions
7.5 x 0.85 x 9.25 inches

Rarewaves USA

HEBRON, KY, Etats-Unis

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 10 juin 2025

Frais d'expédition à l'intérieur de ce pays : Etats-Unis

Article9 à 12 jours ouvrés9 à 12 jours ouvrés
Premier articleEUR 0,00EUR 0,00
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.

Modes de paiement

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Profil professionnel du vendeur

Rarewaves USA

10100 West Sample Road, Ste 101
Coral Springs, FL Etats-Unis 33065