第 1/1 張圖片
Little Typer, Paperback by Friedman, Daniel P.; Christiansen, David Thrane; B...
狀況：
庫存 4 件 / 賣出 1 件
運費：
所在地：Jessup, Maryland, 美國
送達日期：
估計於 6月1日, 六至 6月12日, 三之間送達 運送地點 43230
退貨：
保障：
請參閱物品說明或聯絡賣家以取得詳細資料。閱覽全部詳情查看保障詳情
（不符合「eBay 買家保障方案」資格）
物品細節
- 物品狀況
- 全新: 全新，未閱讀過和使用過的書籍，狀況完好，不存在缺頁或內頁受損。 查看所有物品狀況定義會在新視窗或分頁中開啟
- Book Title
- Little Typer
- ISBN
- 9780262536431
- Publication Year
- 2018
- Type
- Textbook
- Format
- Trade Paperback
- Language
- English
- Publication Name
- Little Typer
- Item Height
- 0.9in
- Item Length
- 8.9in
- Publisher
- MIT Press
- Item Width
- 7in
- Item Weight
- 23.1 Oz
- 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
ISBN-10
0262536439
ISBN-13
9780262536431
eBay Product ID (ePID)
11038291531
Product Key Features
Publication Name
Little Typer
Format
Trade Paperback
Language
English
Publication Year
2018
Type
Textbook
Number of Pages
424 Pages
Dimensions
Item Length
8.9in
Item Height
0.9in
Item Width
7in
Item Weight
23.1 Oz
Additional Product Features
Lc Classification Number
Qa76.63.F75 2018
Illustrated by
Bibby, Duane
Copyright Date
2018
Topic
Programming / General, Logic Design
Lccn
2018-017792
Dewey Decimal
005.101/5113
Intended Audience
Trade
Dewey Edition
23
Illustrated
Yes
Genre
Computers
賣家提供的物品說明
運費與處理費
物品所在地：
Jessup, Maryland, 美國
運送地點
中國, 中國台灣, 中國澳門, 中國香港, 中非共和國, 丹麥, 以色列, 佛得角群島, 克羅地亞共和國, 冰島, 利比利亞, 剛果共和國, 剛果民主共和國, 加拿大, 加納, 加蓬共和國, 匈牙利, 南非, 南韓, 卡塔爾, 印尼, 印度, 厄立特里亞, 吉布提, 哥倫比亞, 哥斯達黎加, 土庫斯安德凱科斯群島, 坦桑尼亞, 埃及, 基里巴斯, 塞浦路斯, 塞爾維亞, 墨西哥, 多哥, 多明尼加共和國, 奧地利, 安圭拉島, 尼日爾, 巴基斯坦, 巴布亞新畿內亞, 巴拉圭, 布隆迪, 希臘, 幾內亞, 幾內亞比索, 德國, 意大利, 愛沙尼亞, 愛爾蘭, 所羅門群島, 拉脫維亞, 挪威, 捷克共和國, 斯洛伐克, 斯洛文尼亞, 斯里蘭卡, 日本, 智利, 格雷納達, 梵蒂岡, 歐洲, 比利時, 波斯尼亞和黑塞哥維那, 波蘭, 泰國, 海地, 湯加, 澳洲, 瑞典, 瑞士, 瓦利斯和富圖納群島, 甘比亞, 盧森堡, 科威特, 科特迪瓦（象牙海岸）, 秘魯, 立陶宛, 羅馬尼亞, 美洲, 聖基茨-尼維斯, 聖盧西亞, 聖馬力諾, 芬蘭, 英國, 茅利塔尼亞, 荷蘭, 菲律賓, 葡萄牙, 蒙特色拉特島, 蘇里南, 西班牙, 西薩摩亞, 赤道幾內亞, 開曼群島, 阿拉伯聯合酋長國, 阿根廷, 阿爾巴尼亞, 馬來西亞, 馬耳他, 馬里
排除：
APO/FPO, 不丹, 乍德, 也門, 亞塞拜疆共和國, 亞美尼亞, 伊拉克, 伯利茲, 俄羅斯聯邦, 保加利亞, 列支敦士登, 利比亞, 博茨瓦納, 危地馬拉, 厄瓜多爾, 吉爾吉斯, 哈薩克, 喀麥隆, 土庫曼, 土耳其, 圭亞那, 埃塞俄比亞, 塔吉克, 塞內加爾, 塞拉利昂, 塞舌爾, 委內瑞拉, 孟加拉, 安哥拉, 安提瓜和巴布達, 安道爾, 寮國, 尼加拉瓜, 尼日利亞, 尼泊爾, 巴哈馬, 巴拿馬, 巴林, 巴西, 巴貝多, 布基納法索, 摩洛哥, 摩爾多瓦, 摩納哥, 斐濟, 斯威士蘭, 新加坡, 新喀里多尼亞, 柬埔寨, 格恩西島, 格陵蘭, 格魯吉亞, 毛里求斯, 汶萊, 沙特阿拉伯, 法國, 法屬圭亞那, 法屬玻里尼西亞, 津巴布韋, 洪都拉斯, 烏克蘭, 烏干達, 烏拉圭, 烏茲別克, 牙買加, 特里尼達和多巴哥, 玻利維亞, 瑙魯, 瓜德羅普島, 瓦努阿圖, 留尼汪島, 百慕達群島, 盧旺達, 直布羅陀, 福克蘭群島（馬爾維納斯）, 突尼斯, 米克羅尼西亞, 約旦, 納米比亞, 美國領地, 美屬薩摩亞, 聖文森和格瑞那丁, 聖皮耶與密克隆群島, 肯亞, 莫桑比克, 萊索托, 蒙古, 薩爾瓦多, 貝寧, 贊比亞, 越南, 阿富汗, 阿曼, 阿爾及利亞, 阿魯巴, 馬其頓, 馬拉維, 馬提尼克島, 馬爾代夫, 馬紹爾群島, 馬達加斯加, 黎巴嫩, 黑山
| 運費與處理費 | 每加一件物品 | 運送地點 | 運送方式 | 運送*查看送達備註 |
|---|---|---|---|---|
| 免運費 | 免費 | 美國 | Economy Shipping | 估計於 6月1日, 六至 6月12日, 三之間送達 運送地點 43230 |
| 處理時間 |
|---|
| 通常會在收到所有款項後的 5 個工作日內發貨。 |
| 稅項 |
|---|
| 賣家將對以下州別的買家收取銷售稅： |
物品編號 385291920511 的銷售稅
物品編號 385291920511 的銷售稅
賣家會對寄往以下各州的物品收取銷售稅：
| 州／省 | 銷售稅稅率 |
|---|
退貨政策
| 收到物品後聯絡賣家的期限： | 退款方式 |
|---|---|
| 14 日 | 退款 |
買家負責支付退貨運費。
賣家信用評價 （341,781）
m***0 (927)- 買家留下的信用評價。
過去 1 個月
購買已獲認證
BUYER BEWARE! Company took forever to ship. When they finally did they used counterfeit postage and usps stopped shipment. When I confronted the company they stopped all contact with me. Will be reaching out to eBay to rectify the situation. Do not buy from these people, they’re shady!
k***e (351)- 買家留下的信用評價。
過去 1 個月
購買已獲認證
Exactly what I was looking for!
i***a (41)- 買家留下的信用評價。
過去 1 個月
購買已獲認證
They came in good condition and wrapped up very well. All of the information in these books ill unlock a lot of keys in my brain