書名: VERIFICATION,MODEL CHECKING,AND ABSTRACT INTERPRETATION 2005<SV>3-540-24297-X
作者: COUSOT
ISBN: 9783540242970
出版社: Springer
書籍開數、尺寸: 23.39x15.6x2.57
頁數: 483
定價: 2468
售價: 2468
庫存: 已售完
LINE US!
此書為本公司代理,目前已售完,有需要可以向line客服詢問進口動向

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

為您推薦

VERIFICATION,MODEL CHECKING,AND ABSTRACT INTERPRETATION 2006<SV>3-540-31139-4

VERIFICATION,MODEL CHECKING,AND ABSTRACT INTERPRETATION 2006<SV>3-540-31139-4

類似書籍推薦給您

原價: 2360 售價: 2360 現省: 0元
立即查看
VERIFICATION,MODEL CHECKING,AND ABSTRACT INTERPRETATION 2004<SV>3-540-20803-8

VERIFICATION,MODEL CHECKING,AND ABSTRACT INTERPRETATION 2004<SV>3-540-20803-8

類似書籍推薦給您

原價: 1955 售價: 1955 現省: 0元
立即查看
VERIFICATION,MODEL CHECKING,AND ABSTRACT INTERPRETATION 2007<SV>978-3-540-69735-0

VERIFICATION,MODEL CHECKING,AND ABSTRACT INTERPRETATION 2007<SV>978-3-540-69735-0

類似書籍推薦給您

原價: 2414 售價: 2414 現省: 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元
立即查看
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元
立即查看