TOP
0
0
購書領優惠,滿額享折扣!

縮小範圍


商品類型

原文書 (1)
商品狀況

可訂購商品 (1)
庫存狀況

無庫存 (1)
商品定價

$800以上 (1)
出版日期

2017~2018 (1)
裝訂方式

平裝 (1)
作者

Daniel P. Friedman, David Thrane Christiansen, Duane Bibby , Robert Harper , Conor Mcbride (1)
出版社/品牌

Mit Pr (1)

三民網路書店 / 搜尋結果

1筆商品,1/1頁
The Little Typer
79折
作者:Daniel P. Friedman; David Thrane Christiansen; Duane Bibby ; Robert Harper ; Conor Mcbride  出版社:Mit Pr  出版日:2018/09/18 裝訂:平裝
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
無庫存,下單後進貨(到貨天數約30-45天)
定價:2090 元, 優惠價:79 1651

暢銷榜

客服中心

收藏

會員專區