這是我們的台灣商店。

您似乎位於美國。您需要台灣地址才能在我們的台灣商店中選購。前往我們的美國商店以繼續選購。

Functional Data Structures and Algorithms - A Proof Assistant Approach 電子書,作者:Tobias Nipkow

Functional Data Structures and Algorithms

A Proof Assistant Approach

ACM Books

簡介

關於本書

  • 語言:English
  • ISBN:9798400731563
  • 發行日期:2025年10月3日
  • 出版商:Association for Computing Machinery
  • 出版單位:ACM Books
  • 檔案格式:EPUB3
  • 檔案大小:2.20 MB
  • 下載選項:EPUB3 (Adobe DRM)