TOP
0
0
進階搜尋

熱搜：

英雄聯盟奧術

、

楊双子

、

制度基因

、

葉嘉瑩

、

膽大黨

、

2025國家公園月曆

、

黃越綏最新創作

、

蔡康永

熱搜： 英雄聯盟奧術、 楊双子、 制度基因、 葉嘉瑩、 膽大黨、 2025國家公園月曆、 黃越綏最新創作、 蔡康永

165反詐騙

古典詩詞的女兒-葉嘉瑩

縮小範圍

商品類型
原文書 （2）
商品狀況
可訂購商品 （2）
庫存狀況
無庫存 （2）
商品定價
$800以上 （2）
出版日期
2024年 （1）
2016~2017 （1）
裝訂方式
平裝 （1）
精裝 （1）
作者
Simon Gay (EDT)/ Ant?展o Ravara (EDT) （1）
；Gay, Simon (University of Glasgow, UK),Ravara, Antonio (Universidade Nova de Lisboa, Portugal) （1）
出版社/品牌
River Publishers （2）

三民網路書店 / 搜尋結果

共2筆商品，1/1頁
Behavioural Types：From Theory to Tools
95折
1.

Behavioural Types：From Theory to Tools

作者：Gay; Simon (University of Glasgow; UK); Ravara; Antonio (Universidade Nova de Lisboa; Portugal)  出版社：River Publishers  出版日：2024/10/21 裝訂：平裝
無庫存，下單後進貨(到貨天數約45-60天)
定價：2339 元， 優惠價：95 2222
Behavioural Types ─ From Theory to Tools
2.

Behavioural Types ─ From Theory to Tools

作者：Simon Gay (EDT); Ant?展o Ravara (EDT)  出版社：River Publishers  出版日：2017/07/18 裝訂：精裝
Behavioral type systems in programming languages support the specification and verification of programs’ properties beyond the traditional use of type systems to describe data processing. A major exam
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
  • 共

暢銷榜
客服中心
收藏
會員專區
三民書局
關於我們
門市專區
藝文講座
學習平台
異業合作
圖書採購/編目
人才招募
禮券兌換處
瀏覽器資訊
三民網路書店服務
會員服務條款
資訊安全警語
隱私權政策
新手購書
圖書分類
中國圖書館分類
空中大學購書
好站連結
企業會員專區
加入企業會員
服務條款
會員須知
圖書目錄下載
三民・東大・弘雅三民
小山丘童書(0-6歲)
兒童・青少年(7歲以上)
古籍圖書目錄
古典圖書目錄
畢業禮品