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

縮小範圍


商品類型

原文書 (1)
商品狀況

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

無庫存 (1)
商品定價

$800以上 (1)
出版日期

2016年以前 (1)
裝訂方式

平裝 (1)
作者

Sungdeok Cha (EDT)/ Jin-Young Choi Ph.D. (EDT)/ Moonzoo Kim (EDT)/ Insup Lee (EDT)/ Mahesh Viswanathan (EDT) (1)
出版社/品牌

Springer-Verlag New York Inc (1)

三民網路書店 / 搜尋結果

1筆商品,1/1頁
Automated Technology for Verification and Analysis—6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings
This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008.The 21 revised
若需訂購本書,請電洽客服
02-25006600[分機130、131]。

暢銷榜

客服中心

收藏

會員專區