题名:
B方法与形式化软件开发技术研究
/ 崔梦天，韩伟著 ,
ISBN:
978-7-5614-5729-0 价格：
出版发行:
出版地： 出版社：
四川大学出版社
出版日期： 2012年03月
中图分类法:
TP311.52 版次：