题名:	形式化方法理论及应用 / 华保健 ,
ISBN:	978-7-312-05875-2 价格： 76.00
出版发行:	出版地：出版社：中国科学技术大学出版社出版日期： 2024-05-15
中图分类法:	TP301.2 版次：