教育部高等学校计算机科学与技术教学指导委员会编制2010 年出版92 页ISBN:9787113119249
本书为教育部高等学校计算机科学与技术教学指导委员会编制的《高等学校计算机科学与技术专业信息系统方向规范》,以作为全国各高校计算机学院增设信息系统专业方向的规范依据。...
唐涛,徐田华,赵林著2010 年出版206 页ISBN:9787113114602
本书主要介绍了实现列控系统需求规范的严格建模与验证所必须的理论、方法和关键技术,内容包括现代列车运行控制系统的特点和相关标准规范、系统规范的严格建模与验证体系、模型检验相关基础知识、需求规范的...