宋茂强主编2008 年出版239 页ISBN：9787563516087
本书针对通信软件和通信协议的特点，从通信协议的分析、设计和描述入手，系统地介绍了两种适用于通信软件需求分析阶段和设计阶段的形式化描述语言，即消息跟踪语言MSC和规格说明与描述语言SDL，重点介绍了在电信领...
（美）JAMES BAO-YEN TSUI著2007 年出版291 页ISBN：9787121049293
本书共12章，系统地叙述了GPS定位的基本概念、卫星星座的构成、所用的坐标系、GPS硬件系统的设计原理、C/A码的捕获和跟踪过程，以及GPS软件接收机的具体实现等相关内容，翔实地论述了GPS接收机的关键技术及其相...
张银奎著2018 年出版485 页ISBN：9787115492500
本书是当前集中介绍软件调试主题的、国内较为权威的著作。全书围绕如何实现高效调试这一主题，深入系统地介绍了以调试器为核心的各种软件调试技术。随着软件技术发展，这本新版新增很多重要内容，所以计划分3卷...
（意）盖伊（Ghezzi，C.），（意）查耶（Jazayeri，M.），（意）曼德若利（Mandrioli，D.）著2006 年出版588 页ISBN：7508338766
本书通过严格的形式化方法和非形式化方法阐述了软件工程原则和方法的重要性，有选择地介绍了软件工程基础；强调并确定了适用于整个软件生命期的基本原则，全面而深入地介绍了这些基本原则在软件设计、规范、验证...
