题名:	高级验证方法学 / ,
ISBN:	978-7-111-20791-7 价格： 38.00
出版发行:	出版地：出版社：电子科技大学出版社出版日期： 200711
主要责任者:	(美)格拉瑟\|译者:王欣//俞俊//罗开杰/