题名	责任者	出版社	索书号
QTP自动化测试与框架模型设计	黄文高编著	机械工业出版社	TP311.56/527
软件形式规格说明语言-Z	缪淮扣, 陈怡海编著	清华大学出版社	TP311.5/324