结构化程序设计和DITSF语言 《结构化程序设计和DITSF语言》,作者:钟万勰 出版社:科学出版社 ISBN:7030000374。本书结合程序设计方法学和程序正确性证明的思想,介绍大连工学院研制的结构化FORTRAN语言DITSF。 壹号书单 1988年01月01日 0 点赞 0 评论 13 浏览