Informatik-Fachberichte 36 The Use of Formal Specification of Software
1980 年出版388 页ISBN：3540104429
STANDARDIZED DEVELOPMENT OF COMPUTER SOFTWARE Part 1 Methods
1977 年出版379 页ISBN：0138421951
CONFERENCE ON ELECTRONIC DELIVERY OF DATA AND SOFTWARE
1986 年出版145 页ISBN：0903748673
FUNDAMENTALS OF SOFTWARE ENGINEERING THIRD EDITION
RAJIB MALL2011 年出版441 页ISBN：7302274886
本书最新版不仅融合了软件工程领域近年来所取得的技术发展和实践，而且还阐述了如何把这些技术应用到实际的软件开发工作中。
Best of Interface Age Volume 2:General Purpose Software
1980 年出版204 页ISBN：0918398371
FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE
G.GOOS AND J.HARTMANIS2222 年出版420 页ISBN：3540534873
FUNDAMENTALS OF EMBEDDED SOFTWARE：WHERE C AND ASSEMBLY MEET
[美]刘易斯2004 年出版266 页ISBN：
