電子與嵌入式系統(tǒng)設(shè)計叢書

嵌入式軟件系統(tǒng)測試：基于形式化方法的自動化測試解決方案

殷永峰　姜博　編著

ISBN：978-7-111-67242-5

本書紙版由機械工業(yè)出版社于2021年出版，電子版由華章分社（北京華章圖文信息有限公司，北京奧維博世圖書發(fā)行有限公司）全球范圍內(nèi)制作與發(fā)行。

版權(quán)所有，侵權(quán)必究

客服熱線：+ 86-10-68995265

客服信箱：service@bbbvip.com

官方網(wǎng)址：www.hzmedia.com.cn

新浪微博 @華章數(shù)媒

微信公眾號 華章電子書（微信號：hzebook）