華通書坊
註冊 登入
 精準搜尋
書名: Formal Methods Applications and Technology 2007<SV>978-3-540-70951-0
作者: BRIM
ISBN: 9783540709510
出版社: Springer
書籍開數、尺寸: 23.4x15.5x2
頁數: 366
定價: 2359元
售價: 2359元
庫存: 已售完
LINE US!
此書為本公司代理，目前已售完，有需要可以向line客服詢問進口動向

Formal Methods Applications and Technology 2007<SV>978-3-540-70951-0

定價: 2359 售價: 2359 現省: 0

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

為您推薦

LEVERAGING APPLICATIONS OF FORMAL METHODS (LNCS4313)2006 (SV)3-540-48928-3

LEVERAGING APPLICATIONS OF FORMAL METHODS (LNCS4313)2006 (SV)3-540-48928-3

類似書籍推薦給您

原價: 1796 售價: 1796 現省: 0元
立即查看
An Introduction to Practical Formal Methods Using Temporal Logic 2011 <JW> 978-0-470-02788-2

An Introduction to Practical Formal Methods Using Temporal Logic 2011 <JW> 978-0-470-02788-2

類似書籍推薦給您

原價: 3600 售價: 3600 現省: 0元
立即查看
Formal Methods for Components and Objects 2008<SV>978-3-540-92187-5

Formal Methods for Components and Objects 2008<SV>978-3-540-92187-5

類似書籍推薦給您

原價: 2350 售價: 2350 現省: 0元
立即查看
Formal Methods and Software Engineering 2008<SV>978-3-540-88193-3

Formal Methods and Software Engineering 2008<SV>978-3-540-88193-3

類似書籍推薦給您

原價: 2506 售價: 2506 現省: 0元
立即查看
Formal Methods in Systems Biology 2008<SV>978-3-540-68410-7

Formal Methods in Systems Biology 2008<SV>978-3-540-68410-7

類似書籍推薦給您

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