基於模型的軟體驗證與測試(計算機系列教程) 基本介紹 書名：基於模型的軟體驗證與測試出版社：西北工大 (2013年8月1日)作者：鄭煒出版日期：2013年8月1日 基於模型的軟體驗證與測試(計算機系列教程)
