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