陈圣国编著2001 年出版200 页ISBN:7560610013
高职系列教材。本书介绍了信息与信息系统的概念,结构化系统开发各阶段的主要任务和基本方法,几种较新的系统开发方法等内容。
系统架构设计师与系统分析师历年试题分析与解答 2009-2010
全国计算机技术与软件专业技术资格考试办公室组编2011 年出版221 页ISBN:9787302266648
本书汇集了软考2009年至2010年高级职称考试的系统架构设计师与系统分析师的所有试题和权威解析。
白丽君,彭扬编著2009 年出版372 页ISBN:9787504730039
本书系统地介绍了物流信息系统分析与设计的理论与建设方法,条理清晰,概念明确,理论性强。
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...