软件工程
网络分布计算和软件工程
《网络分布计算和软件工程》,作者:冯玉琳等编著 出版社:科学出版社 ISBN:703011356X。本书集中讲解当今软件工程面临的新问题以及为解决这些问题的新技术发展,主要内容包括软件系统模建、软件体系结构、网络分布计算、分布事务处理、分布式算法等。
时序逻辑程序设计与软件工程. 上册. 时序逻辑语言
《时序逻辑程序设计与软件工程. 上册. 时序逻辑语言》,作者:唐稚松等著 出版社:科学出版社 ISBN:7030070062。
