TOP
0
0
進階搜尋

熱搜：

買書看棒球!

、

Spy x Family

、

暑期必備一本書

、

漫畫少年學墨菲定律

、

黃仁勳

、

大喬小喬

、

佛法是科學的終極典範

、

膽大黨13首刷限定

、

DragonMasters 1-23

、

新基本小六法

熱搜： 買書看棒球!、 Spy x Family、 暑期必備一本書、 漫畫少年學墨菲定律、 黃仁勳、 大喬小喬、 佛法是科學的終極典範、 膽大黨13首刷限定、 DragonMasters 1-23 、 新基本小六法

165反詐騙

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

縮小範圍

商品類型
原文書 （2）
商品狀況
可訂購商品 （2）
庫存狀況
無庫存 （2）
商品定價
$800以上 （2）
出版日期
2020~2021 （1）
2016年以前 （1）
裝訂方式
平裝 （1）
精裝 （1）
作者
Kenneth McMillan (EDT)/ Xavier Rival (EDT) （1）
Xavier (Research Director Rival INRIA Paris-Rocquencourt),Kwangkeun (Professor Yi Seoul National University) （1）
出版社/品牌
Mit Pr （1）
Textstream （1）

三民網路書店 / 搜尋結果

共2筆商品，1/1頁
Verification, Model Checking, and Abstract Interpretation ― 15th International Conference, Vmcai 2014, San Diego, Ca, USA, January 19-21, 2014, Proceedings
1.

Verification, Model Checking, and Abstract Interpretation ― 15th International Conference, Vmcai 2014, San Diego, Ca, USA, January 19-21, 2014, Proceedings

作者：Kenneth McMillan (EDT); Xavier Rival (EDT)  出版社：Textstream  出版日：2014/07/14 裝訂：平裝
This book constitutes the refereed proceedings of the 15th International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI 2014, held in San Diego, CA, USA, in January 2013
無法訂購
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
Introduction to Static Analysis：An Abstract Interpretation Perspective
79折
2.

Introduction to Static Analysis：An Abstract Interpretation Perspective

作者：Xavier (Research Director Rival INRIA Paris-Rocquencourt); Kwangkeun (Professor Yi Seoul National University)  出版社：Mit Pr  出版日：2020/02/11 裝訂：精裝
定價：4125 元， 優惠價：79 3259
無庫存，下單後進貨(到貨天數約30-45天)
  • 共

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