TOP
0
0
【簡體曬書節】 單本79折,5本7折,優惠只到5/31,點擊此處看更多!

縮小範圍


商品類型

原文書 (3)
商品狀況

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

無庫存 (3)
商品定價

$800以上 (3)
出版日期

2020~2021 (1)
2016年以前 (2)
裝訂方式

平裝 (3)
作者

Koen De Bosschere (EDT)/ Ranjit Jhala (EDT) (1)
Ranjit Jhala (1)
Ranjit Jhala (EDT)/ Atsushi Igarashi (EDT) (1)
出版社/品牌

Springer Verlag (2)
NEW PUBL INC (1)

三民網路書店 / 搜尋結果

3筆商品,1/1頁
Refinement Types: A Tutorial
作者:Ranjit Jhala  出版社:NEW PUBL INC  出版日:2021/10/05 裝訂:平裝
若需訂購本書,請電洽客服
02-25006600[分機130、131]。
Programming Languages and Systems ― 10th Asian Symposium, Aplas 2012, Kyoto, Japan, December 11-13, 2012, Proceedings
滿額折
作者:Ranjit Jhala (EDT); Atsushi Igarashi (EDT)  出版社:Springer Verlag  出版日:2012/10/29 裝訂:平裝
This book constitutes the refereed proceedings of the 10th Asian Symposium on Programming Languages and Systems, APLAS 2012, held in Kyoto, Japan, in December 2012. The 24 revised full papers presente
定價:3735 元, 優惠價:1 3735
無庫存,下單後進貨(到貨天數約30-45天)
Compiler Construction ― 22nd International Conference, Cc 2013, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2013, Rome, Italy, Ma
滿額折
作者:Koen De Bosschere (EDT); Ranjit Jhala (EDT)  出版社:Springer Verlag  出版日:2013/02/14 裝訂:平裝
This book constitutes the proceedings of the 22nd International Conference on Compiler Construction, CC 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2
定價:3240 元, 優惠價:1 3240
無庫存,下單後進貨(到貨天數約30-45天)

暢銷榜

客服中心

收藏

會員專區