Directory of Information Management Software For Libraries
Information Centers Record Centers1985 年出版239 页ISBN：
Informatik-Fachberichte 36 The Use of Formal Specification of Software
1980 年出版388 页ISBN：3540104429
Lecture Notes in Computer Science 3134 Extreme Programming and Agile Methods-XP/Agile Universe 2004
2004 年出版233 页ISBN：354022839X
Lecture Notes in Computer Science 3725 Correct Hardware Design and Verification Methods 13th IFIP WG
CHARME 20052005 年出版412 页ISBN：3540291059
Lecture Notes in Computer Science 4709 Formal Methods for Components and Objects 5th International S
FMCO 2006 Amsterdam2222 年出版0 页ISBN：
Lecture Notes in Computer Science 4111 Formal Methods for Compoents and Objects 4th International Sy
FMCO 2005 Amsterdam2222 年出版0 页ISBN：
CONFERENCE ON ELECTRONIC DELIVERY OF DATA AND SOFTWARE
1986 年出版145 页ISBN：0903748673
FUNDAMENTALS OF SOFTWARE ENGINEERING THIRD EDITION
RAJIB MALL2011 年出版441 页ISBN：7302274886
本书最新版不仅融合了软件工程领域近年来所取得的技术发展和实践，而且还阐述了如何把这些技术应用到实际的软件开发工作中。
Lecture Notes in Computer Science 3455 ZB 2005:Formal Specification and Development in Z and B 4th I
2005 年出版493 页ISBN：3540255591
