MARC状态:审校 文献类型:中文图书 浏览次数:19
- 题名/责任者:
- Z形式规约的自动求精研究/王宏生著
- 出版发行项:
- 北京:国防工业出版社,2009
- ISBN及定价:
- 978-7-118-06044-7/CNY26.00
- 载体形态项:
- 231页:图;21cm
- 个人责任者:
- 王宏生 著
- 学科主题:
- 电子计算机-算法理论
- 中图法分类号:
- TP301.6
- 书目附注:
- 有书目 (第228-230页)
- 提要文摘附注:
- 本书指出了Z语言求精方法对于自动生产应用程序的不足,提出了对Z规格说明做一定限制后的Smart Z自动求精为C++和STL方法。
全部MARC细节信息>>