Functional Data Structures And Algorithms A Proof Assistant Approach - Association for Computing Machinery 6504698 - Hardcover - en Book

644,22 RON
+ 140,99 RON Livrare

Functional Data Structures And Algorithms A Proof Assistant Approach - Association for Computing Machinery 6504698 - Hardcover - en Book

Vândut de:
  • product image

644,22 RON

În stoc
+ 140,99 RON Livrare

Politica de retur pe 14 zile

Metode de plată:

  • Marcă: Unbranded

Descriere

Functional Data Structures And Algorithms A Proof Assistant Approach - Association for Computing Machinery 6504698 - Hardcover - en Book

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?).
  • Marcă: Unbranded
  • Categorie: Calcul și internet
  • Lungime: 418
  • Limbă: en
  • Format: Hardcover
  • Editor / Etichetă: Association for Computing Machinery 6504698
  • Autor: Association for Comp
  • ID Fruugo: 491721642-1015298808
  • ISBN: 9798400731570

Livrare

Expediat în 24 de ore

  • STANDARD: 186,21 RON - Livrare între mar. 11 august 2026–lun. 17 august 2026

Livrare de la Regatul Unit.

Returnări și anulări

Returnări

Facem tot ce ne stă în putinţă să ne asigurăm că produsele comandate de dumneavoastră vă sunt livrate în întregime şi conform specificaţiilor. Cu toate acestea, dacă primiţi o comandă incompletă sau articole diferite de cele comandate, sau aveţi alt motiv pentru care nu sunteţi mulţumit de comandă, puteţi returna comanda sau orice produse incluse în comandă şi primiţi o rambursare completă pentru articole.

Vizualizaţi întreaga politică de returnare

Anulări

Aveți dreptul de a retrage achiziția în termen de 14 zile de la primirea comenzii, fără a oferi un motiv. Pentru a vă exercita cu ușurință dreptul, puteți utiliza linkul „Anulați comanda” din subsolul fiecărei pagini sau din contul dvs. Fruugo, la secțiunea „Comenzi”. După ce vă exercitați dreptul de retragere, vă vom trimite un e-mail de confirmare. Dacă comanda dvs. a fost deja expediată de comerciant, vă vom oferi instrucțiunile de returnare necesare pentru a ne asigura că rambursarea dvs. este procesată prompt.

Vezi politica completă de anulare