（日）刘少英著2008 年出版408 页ISBN：7302183171
本书首次开创了一个新技术，即形式化工程方法，把传统的形式化方法和软件工程有机结合起来。它提供了一个严密、系统、有效的软件开发方法，其实用性超过了目前所有形式化方法。这正好可以满足学术界、软件工程类...
任少英主编2008 年出版371 页ISBN：7114070764
本书分市政工程施工监理和市政工程质量检测两篇。主要内容包括：合同管理，进度监理，费用监理，质量监理，安全监理，环保监理，市政工程质量评定方法，路基路面现场质量检测，混凝土构件质量检测，基桩桩身完整性检......
