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

縮小範圍


商品類型

原文書 (1)
商品狀況

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

無庫存 (1)
商品定價

$800以上 (1)
出版日期

2016年以前 (1)
裝訂方式

平裝 (1)
作者

Tayssir Touili (EDT)/ Byron Cook (EDT)/ Paul Jackson (EDT) (1)
出版社/品牌

Springer-Verlag New York Inc (1)

三民網路書店 / 搜尋結果

1筆商品,1/1頁
Computer Aided Verification
作者:Tayssir Touili (EDT); Byron Cook (EDT); Paul Jackson (EDT)  出版社:Springer-Verlag New York Inc  出版日:2010/07/29 裝訂:平裝
This book constitutes the refereed proceedings of the 22nd International Conference on Computer Aided Verification, CAV 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Confere
若需訂購本書,請電洽客服
02-25006600[分機130、131]。

暢銷榜

客服中心

收藏

會員專區