熱搜：

合法且有效的節稅

NEW 千呼萬喚始出來，紅利積點抵現金，趕快讓你的積點變現金！

165反詐騙

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

縮小範圍

商品類型

原文書（3）

商品狀況

可訂購商品（3）

庫存狀況

無庫存（3）

商品定價

$800以上（3）

出版日期

2020~2021 （2）

2016年以前（1）

裝訂方式

平裝（1）

精裝（2）

作者

Hana Chockler （2）

Hana Chockler (EDT)/ Daniel Kroening (EDT)/ Leonardo Mariani (EDT)/ Natasha Sharygina (EDT) （1）

出版社/品牌

Lightning Source Inc （2）

Springer Verlag （1）

三民網路書店 / 搜尋結果

搜尋條件

商品類型

商品狀況

庫存狀況

商品定價

出版日期

裝訂方式

作者

出版社/品牌

關閉

共3筆商品，1/1頁

Computer Aided Verification

作者：Hana Chockler 出版社：Lightning Source Inc 出版日：2020/10/08 裝訂：平裝

定價：2857 元，優惠價：1 2857

無庫存，下單後進貨(到貨天數約30-45天)

Computer Aided Verification

作者：Hana Chockler 出版社：Lightning Source Inc 出版日：2020/10/08 裝訂：精裝

定價：3407 元，優惠價：1 3407

無庫存，下單後進貨(到貨天數約30-45天)

Validation of Evolving Software

作者：Hana Chockler (EDT); Daniel Kroening (EDT); Leonardo Mariani (EDT); Natasha Sharygina (EDT) 出版社：Springer Verlag 出版日：2015/07/10 裝訂：精裝

This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a

無法訂購

若需訂購本書，請電洽客服
02-25006600[分機130、131]。

共3 筆
1 頁

暢銷榜
客服中心
收藏
瀏覽紀錄
會員專區

熱搜：

買書看棒球!

暑期必備一本書

洞見

可以生氣，但不要動不動就發脾氣

佛法是科學的終極典範

為什麼我們愛得如此卑微

合法且有效的節稅

縮小範圍

三民網路書店 / 搜尋結果

搜尋條件

Computer Aided Verification

Computer Aided Verification

Validation of Evolving Software