Verification of Systems and Circuits Using Lotos, Petri Nets and CCS 2008 <JW> 978-0-471-70449-2 |9780471704492|滿千免運、門市文化幣放大

Verification of Systems and Circuits Using Lotos, Petri Nets and CCS 2008 <JW> 978-0-471-70449-2

Verification of Systems and Circuits Using Lotos, Petri Nets and CCS 2008 <JW> 978-0-471-70449-2

書名:	Verification of Systems and Circuits Using Lotos, Petri Nets and CCS 2008 <JW> 978-0-471-70449-2
作者:	M.YOELI
ISBN:	9780471704492
出版社:	John Wiley
書籍開數、尺寸:	23.6x15.5x2.3
頁數:	231

定價:	~~1300~~元
售價:	1300元
庫存:	已售完
LINE US!

此書為本公司代理，目前已售完，有需要可以向line客服詢問進口動向

Verification of Systems and Circuits Using Lotos, Petri Nets and CCS 2008 <JW> 978-0-471-70449-2

定價: ~~1300~~ 售價: 1300 現省: 0

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

為您推薦

PARTIAL-ORDER FOR THE VERIFICATION OF CONCURRENT SYSTEMS 1996

PARTIAL-ORDER FOR THE VERIFICATION OF CONCURRENT SYSTEMS 1996

原價: ~~840~~ 售價: 840 現省: 0元

TEMPORAL VERIFICATION OF REACTIVE SYSTEMS 1995

TEMPORAL VERIFICATION OF REACTIVE SYSTEMS 1995

原價: ~~1850~~ 售價: 1850 現省: 0元

VERIFICATION OF OBJECT-ORIENTED SOFTWARE THE KEY APPROACH 2007<SV>978-3-540-68977-5

VERIFICATION OF OBJECT-ORIENTED SOFTWARE THE KEY APPROACH 2007<SV>978-3-540-68977-5

原價: ~~2845~~ 售價: 2845 現省: 0元

MODULAR SPECIFICATION AND VERIFICATION OF OBJECT-ORIENTED PROGRAMS 2002 <SV> 3-540-43167-5

MODULAR SPECIFICATION AND VERIFICATION OF OBJECT-ORIENTED PROGRAMS 2002 <SV> 3-540-43167-5

原價: ~~1435~~ 售價: 1435 現省: 0元

VERIFICATION OF GEOTECHNICAL GROUTING 1995

VERIFICATION OF GEOTECHNICAL GROUTING 1995

原價: ~~875~~ 售價: 875 現省: 0元