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

₩150,890
+ ₩56,249 배송
  • 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

₩150,890

재고 있음
+ ₩56,249 배송

14일 반품 정책

판매자::

₩150,890

재고 있음
+ ₩56,249 배송

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
  • 카테고리: Computing & Internet
  • 출판사/레이블: Association for Computing Machinery 6504698
  • 형식: Hardcover
  • 언어: en
  • 저자: Association for Comp
  • 길이: 418
  • Fruugo ID: 491721642-1015298808
  • ISBN: 9798400731570

배달

24시간 이내에 발송됨

  • STANDARD: ₩56,249 - 배달 사이 화 28 7월 2026–월 03 8월 2026

영국에서 발송.

보고

당사는 귀하께서 주문하신 제품이 주문 명세에 따라 빠짐없이 배송되도록 온 힘을 기울이고 있습니다. 다만, 주문하신 것과 다른 상품이 배송되거나 빠진 상품이 있는 경우, 또는 주문 내용에 만족할 수 없는 다른 이유가 있는 경우에는 주문 전체나 주문에 포함된 일부 제품을 반품하시고 해당 상품에 대해 전액 환불받으실 수 있습니다.

전체 반품 정책 보기