MARC状态：已编 文献类型：中文图书 浏览次数：11
- 题名/责任者:
- 结构化程序设计和DITSF语言/钟万勰等编著
- 出版发行项:
- 北京:科学出版社,1988.1
- ISBN及定价:
- 7-03-000037-4/$3.90
- 载体形态项:
- 257页;26厘米
- 编目员补充题名:
- 结构化程序设计和DITSF语言
- 个人责任者:
- 钟万勰 编著
- 学科主题:
- 结构化程序设计
- 学科主题:
- DITSF语言
- 中图法分类号:
- TP31
- 中图法分类号:
- TP31
- 提要文摘附注:
- 本书结合程序设计方法学和程序正确性证明的思想,介绍大连工学院研制的结构化FORTRAN语言DITSF。
全部MARC细节信息>>