谈文蓉，崔梦天主编；吴蓓副主编2016 年出版129 页ISBN：9787564347857
本书较为全面、系统地介绍了当前软件开发领域的理论和实践知识，反映了当前最新的软件开发理论、标准、技术和工具。 本书以项目为载体，以任务驱动的方式介绍软件开发中各阶段所需的知识、技术、方法、工具、...
崔梦天，韩伟著2012 年出版133 页ISBN：9787561457290
本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法。...
崔梦天，张波主编；郭雪峰，孙清亮，贾丽美副主编2015 年出版256 页ISBN：9787312038211
本书较为全面、系统地介绍了当前测试领域的理论和实践知识，反映了当前最新的软件测试理论、标准、技术和工具，展望了软件测试的发展趋势。全书共分15章，主要内容包括软件测试概论、软件测试需要的离散数学知识...
崔梦天，赵翠新，王玉红著2016 年出版149 页ISBN：9787030493002
本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法，实现形式规约的精化...
梦天岚著2013 年出版214 页ISBN：7201082590
《屋檐三境》是我社巅峰阅读文库·青春校园名家美文系列丛书中的一本，包括“故乡”“或者故乡”两辑。其中，第一辑“故乡”， 描写了作者出生和成长的家乡的风土人情、乡村逸事以及在成长过程中的思考和迷茫。...
刘博强编著；蔡桉然，沈瑛，崔梦妍编2016 年出版319 页ISBN：9787562068686
本书为英语一部分，覆盖所有英语写作类型和方法，详解考研英语写作常见十一类问题解决和技巧。包括短文写作的命题透析和所有题型分析；大作文写作策略等。对书信、告示、备忘录结合历年真题进行了最为权威的示范...
