華通書坊
註冊 登入
 精準搜尋
書名: FORMAL METHODS FOR REAL-TIME AND PROBABILISTIC SYSTEMS(SV)1999
作者: JOOST-PIETER KATOEN
ISBN: 9783540660101
出版社: Springer
定價: 1548元
售價: 1548元
庫存: 已售完
LINE US!
此書為本公司代理，目前已售完，有需要可以向line客服詢問進口動向

FORMAL METHODS FOR REAL-TIME AND PROBABILISTIC SYSTEMS(SV)1999

定價: 1548 售價: 1548 現省: 0

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

為您推薦

FORMAL METHODS FOR THE DESIGN OF REAL-TIME SYSTEMS 2004<SV>3-540-23068-8

FORMAL METHODS FOR THE DESIGN OF REAL-TIME SYSTEMS 2004<SV>3-540-23068-8

類似書籍推薦給您

原價: 1952 售價: 1952 現省: 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 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元
立即查看
Formal Methods for Open Object-Based Distributed Systems 2008<SV>978-3-540-68862-4

Formal Methods for Open Object-Based Distributed Systems 2008<SV>978-3-540-68862-4

類似書籍推薦給您

原價: 3024 售價: 3024 現省: 0元
立即查看
Formal Methods for Computational Systems Biology 2008<SV>978-3-540-68892-1

Formal Methods for Computational Systems Biology 2008<SV>978-3-540-68892-1

類似書籍推薦給您

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