華通書坊
註冊 登入
 精準搜尋
書名: FORMAL METHODS AT THE CROSSROADS FROM PANACEA TO FOUNDATIONAL SUPPORT 2003<SV>3-540-20527-6
作者: AICHERNIG
ISBN: 9783540205272
出版社: Springer
書籍開數、尺寸: 23.11x15.49x2.79
頁數: 453
定價: 2383元
售價: 2383元
庫存: 已售完
LINE US!
此書為本公司代理，目前已售完，有需要可以向line客服詢問進口動向

FORMAL METHODS AT THE CROSSROADS FROM PANACEA TO FOUNDATIONAL SUPPORT 2003<SV>3-540-20527-6

定價: 2383 售價: 2383 現省: 0

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

為您推薦

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元
立即查看
Formal Methods for Industrial Critical Systems 2008<SV>978-3-540-79706-7

Formal Methods for Industrial Critical Systems 2008<SV>978-3-540-79706-7

類似書籍推薦給您

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