華通書坊
註冊 登入
 精準搜尋
書名: Model Checking (2版)
作者: CLARKE JR
版次: 2
ISBN: 9780262038836
出版社: The MIT Press
書籍開數、尺寸: 23.6*18.5
重量: 0.82 Kg
頁數: 424
#資訊
#軟體工程與專案管理
#計算機概論
定價: 1560元
售價: 1560元
庫存: 庫存: 1
LINE US! 詢問這本書 團購優惠、書籍資訊 等

Model Checking (2版)

定價: 1560 售價: 1560 現省: 0

付款方式: 超商取貨付款 line pay
信用卡 全支付
線上轉帳 Apple pay
物流方式: 超商取貨
宅配
門市自取

為您推薦

Verification, Model Checking, and Abstract Interpretation 2008<SV>978-3-540-78162-2

Verification, Model Checking, and Abstract Interpretation 2008<SV>978-3-540-78162-2

類似書籍推薦給您

原價: 2350 售價: 2350 現省: 0元
立即查看
MODEL CHECKING SOFTWARE<SV>2003 3-540-40117-2

MODEL CHECKING SOFTWARE<SV>2003 3-540-40117-2

類似書籍推薦給您

原價: 1577 售價: 1577 現省: 0元
立即查看
Verification, Model Checking, and Abstract Interpretation 2009<SV>978-3-540-93899-6

Verification, Model Checking, and Abstract Interpretation 2009<SV>978-3-540-93899-6

類似書籍推薦給您

原價: 2383 售價: 2383 現省: 0元
立即查看
Model Checking Software 2008 ＜SV＞978-3-540-85113-4

Model Checking Software 2008 ＜SV＞978-3-540-85113-4

類似書籍推薦給您

原價: 2443 售價: 2443 現省: 0元
立即查看
25 Years of Model Checking: History, Achievements, Perspectives 2008 <SV>978-3-540-69849-4

25 Years of Model Checking: History, Achievements, Perspectives 2008 <SV>978-3-540-69849-4

類似書籍推薦給您

原價: 1205 售價: 1205 現省: 0元
立即查看