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

CN¥699.00
+ CN¥154.49 送货
  • product image

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

  • 品牌: Unbranded
由……售出:

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

  • 品牌: Unbranded

CN¥699.00

有货
+ CN¥154.49 送货

14天退货政策

由……售出:

CN¥699.00

有货
+ CN¥154.49 送货

14天退货政策

付款方式：

描述

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?).
  • 品牌: Unbranded
  • 类别: 计算机与互联网
  • 语言: en
  • 作者: Association for Comp
  • 长度: 418
  • 出版社／标签: Association for Computing Machinery 6504698
  • 格式: Hardcover
  • Fruugo ID: 491721642-1015298808
  • ISBN: 9798400731570

送货

在 24 小时内发货

  • STANDARD: CN¥154.49 - 之间的交付 周三 24 六月 2026–周五 26 六月 2026

从 英国 送货。

退货

我们会争取将您订购的产品按照您的规格完整地配送给您。不过，万一您收到不完整的订单，或收到的产品与您订购的不同，或者有其他原因让您对订单不满意，您可以要求全部或部分退货，您将收到相应产品的全额退款。

查看完整的退货政策