语言

结构化程序设计和DITSF语言

《结构化程序设计和DITSF语言》,作者:钟万勰 出版社:科学出版社 ISBN:7030000374。本书结合程序设计方法学和程序正确性证明的思想,介绍大连工学院研制的结构化FORTRAN语言DITSF。