縮小範圍

商品類型

原文書（4）

商品狀況

可訂購商品（4）

庫存狀況

無庫存（4）

商品定價

$800以上（4）

出版日期

2017~2018 （2）

2017年以前（2）

裝訂方式

精裝（4）

作者

Daniel Kroening/ Ofer Strichman （1）

Daniel Kroening/ Ofer Strichman/ Randal E. Bryant (FRW) （1）

Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith （1）

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

出版社/品牌

Springer Verlag （2）

Mit Pr （1）

Springer-Verlag New York Inc （1）

三民網路書店 / 搜尋結果

搜尋條件

商品類型

商品狀況

庫存狀況

商品定價

出版日期

裝訂方式

作者

出版社/品牌

關閉

共4筆商品，1/1頁

Decision Procedures ― An Algorithmic Point of View

作者：Daniel Kroening; Ofer Strichman 出版社：Springer-Verlag New York Inc 出版日：2017/01/27 裝訂：精裝

A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but

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

無法訂購

90折

Decision Procedures

作者：Daniel Kroening; Ofer Strichman; Randal E. Bryant (FRW) 出版社：Springer Verlag 出版日：2008/07/04 裝訂：精裝

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

定價：3000 元，優惠價：9 2700

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]。

無法訂購

79折

Model Checking

作者：Edmund M. Clarke Jr.; Orna Grumberg; Daniel Kroening; Doron Peled; Helmut Veith 出版社：Mit Pr 出版日：2018/12/04 裝訂：精裝

An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.Model checking is a verificati

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

定價：4500 元，優惠價：79 3555

共4 筆
1 頁

熱搜：

柯佳嬿-夢游記

難哄-Netflix熱播同名電視劇原著小說

段位

哥吉拉大解剖圖鑑

UFO Cat

節能LED燈泡

史坎德3新上市

2025線上國際書展

特價字典展

公務員每月一書