第 1/1 張圖片
The Little Typer by Daniel P. Friedman (English) Paperback Book
狀況：
庫存 3 件
運費：
所在地：Melbourne, 澳洲
送達日期：
估計於 6月3日, 一至 6月12日, 三之間送達 運送地點 43230
退貨：
保障：
請參閱物品說明或聯絡賣家以取得詳細資料。閱覽全部詳情查看保障詳情
（不符合「eBay 買家保障方案」資格）
物品細節
- 物品狀況
- 全新: 全新，未閱讀過和使用過的書籍，狀況完好，不存在缺頁或內頁受損。 查看所有物品狀況定義會在新視窗或分頁中開啟
- ISBN-13
- 9780262536431
- Book Title
- The Little Typer
- ISBN
- 9780262536431
- Publication Year
- 2018
- Type
- Textbook
- Format
- Paperback
- Language
- English
- Publication Name
- The Little Typer
- Item Height
- 229mm
- Publisher
- MIT Press Ltd
- Item Width
- 178mm
- Subject
- Computer Science
- Number of Pages
- 424 Pages
關於產品
Product Information
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.A program's type describes its behavior. Dependent types are a first-class part of a language, and are much more powerful than other kinds of types; using just one language for types and programs allows program descriptions to be as powerful as the programs they describe. The Little Typer explains dependent types, beginning with a very small language that looks very much like Scheme and extending it to cover both programming with dependent types and using dependent types for mathematical reasoning. Readers should be familiar with the basics of a Lisp-like programming language, as presented in the first four chapters of The Little Schemer. The first five chapters of The Little Typer provide the needed tools to understand dependent types; the remaining chapters use these tools to build a bridge between mathematics and programming. Readers will learn that tools they know from programming-pairs, lists, functions, and recursion-can also capture patterns of reasoning. The Little Typer does not attempt to teach either practical programming skills or a fully rigorous approach to types. Instead, it demonstrates the most beautiful aspects as simply as possible, one step at a time.
Product Identifiers
Publisher
MIT Press Ltd
ISBN-13
9780262536431
eBay Product ID (ePID)
7046388597
Product Key Features
Publication Name
The Little Typer
Format
Paperback
Language
English
Subject
Computer Science
Publication Year
2018
Type
Textbook
Number of Pages
424 Pages
Dimensions
Item Height
229mm
Item Width
178mm
Additional Product Features
Series Title
The MIT Press
Illustrator
Duane Bibby
Country/Region of Manufacture
United States
賣家提供的物品說明
商業賣家資料
增值稅識別編號：
- AU 82107909133
- GB 293967539
運費與處理費
物品所在地：
Melbourne, 澳洲
運送地點
全球
排除：
中非共和國, 乍德, 也門, 佛得角群島, 俄羅斯聯邦, 利比亞, 利比利亞, 剛果共和國, 剛果民主共和國, 加納, 加蓬共和國, 北韓, 博茨瓦納, 厄瓜多爾, 厄立特里亞, 吉布提, 喀麥隆, 圭亞那, 坦桑尼亞, 埃及, 埃塞俄比亞, 塞內加爾, 塞拉利昂, 塞舌爾, 多哥, 委內瑞拉, 安哥拉, 安圭拉島, 尼日利亞, 尼日爾, 布基納法索, 布隆迪, 幾內亞, 幾內亞比索, 摩洛哥, 摩爾多瓦, 敘利亞, 斯威士蘭, 斯瓦爾巴群島和揚馬延島, 毛里求斯, 津巴布韋, 海地, 烏克蘭, 烏干達, 特里尼達和多巴哥, 玻利維亞, 甘比亞, 留尼汪島, 白俄羅斯, 盧旺達, 科特迪瓦（象牙海岸）, 突尼斯, 納米比亞, 索馬里, 聖赫倫那島, 肯亞, 茅利塔尼亞, 莫桑比克, 萊索托, 葛摩, 蒙古, 薩爾瓦多, 蘇里南, 西撒哈拉, 貝寧, 贊比亞, 赤道幾內亞, 阿富汗, 阿爾及利亞, 馬拉維, 馬約特島, 馬達加斯加, 馬里
| 運費與處理費 | 每加一件物品 | 運送地點 | 運送方式 | 運送*查看送達備註 |
|---|---|---|---|---|
| 免運費 | 免費 | 美國 | International Standard : tracked-no signature (7 to 15 business days) | 估計於 6月3日, 一至 6月12日, 三之間送達 運送地點 43230 |
| 處理時間 |
|---|
| 通常會在收到所有款項後的 5 個工作日內發貨。 |
| 稅項 |
|---|
| 結賬時相關稅項可能適用。 進一步了解進一步了解為 eBay 購物繳稅。 |
物品編號 134990755132 的銷售稅
物品編號 134990755132 的銷售稅
賣家會對寄往以下各州的物品收取銷售稅：
| 州／省 | 銷售稅稅率 |
|---|
退貨政策
| 收到物品後聯絡賣家的期限： |
|---|
| 30 日 |
買家負責支付退貨運費。
賣家信用評價 （1,427,693）
8***o (449)- 買家留下的信用評價。
過去 1 個月
購買已獲認證
Excellent item at a good price.
A little slow to despatch and deliver.
i***n (250)- 買家留下的信用評價。
過去 1 個月
購買已獲認證
Exactly as described
r***h (8)- 買家留下的信用評價。
過去 1 個月
購買已獲認證
Received it quickly. Thanks