|
题名:
|
Z形式规约的自动求精研究 / 王宏生著 , |
|
ISBN:
|
978-7-118-06044-7 价格： CNY26.00 |
|
语种:
|
chi |
|
载体形态:
|
XII, 231页 图 20cm |
|
出版发行:
|
出版地： 北京 出版社： 国防工业出版社 出版日期： 2009.01 |
|
内容提要:
|
本书指出了Z语言求精方法对于自动生成应用程序的不足, 提出了对Z规格说明做一定限制后的Smart Z自动求精为C++和STL方法。 |
|
主题词:
|
电子计算机 算法理论 |
|
中图分类法:
|
TP301.6 版次： 4 |
|
主要责任者:
|
王宏生 著 |