TOP
0
0
即日起~6/30,暑期閱讀書展,好書7折起

縮小範圍


商品類型

原文書 (1)
商品狀況

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

無庫存 (1)
商品定價

$800以上 (1)
出版日期

2016年以前 (1)
裝訂方式

平裝 (1)
作者

Daniel P. Friedman, Carl Eastlund, Duane Bibby , J. Strother Moore , Matthias Felleisen (1)
出版社/品牌

Mit Pr (1)

三民網路書店 / 搜尋結果

1筆商品,1/1頁
The Little Prover
79折
作者:Daniel P. Friedman; Carl Eastlund; Duane Bibby ; J. Strother Moore ; Matthias Felleisen  出版社:Mit Pr  出版日:2015/07/10 裝訂:平裝
The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-answer, with the characteristic humo
定價:2200 元, 優惠價:79 1738
無庫存,下單後進貨(到貨天數約30-45天)

暢銷榜

客服中心

收藏

會員專區