Lecture Notes in Computer Science 86 Abstract Software Specifications 1979 Copenhagen Winter School
19791980 年出版567 页ISBN：3540100075
Lecture Notes in Computer Science 3966 Software Process Change
2006 年出版356 页ISBN：3540341994
Lecture Notes in Computer Science 3107 Software Reuse:Methods
Techniques2004 年出版0 页ISBN：
Lecture Notes in Computer Science 3052 Abstract State Machines 2004 Advances in Theory and Practice
ASM 20042004 年出版235 页ISBN：3540220941
Lecture Notes in Computer Science 3647 Software Engineering Research
Management and Applications Second International Conference2004 年出版0 页ISBN：
Lecture Notes in Computer Science 4383 Hardware and Software
Verification and Testing Second International Haifa Verification Conference2007 年出版235 页ISBN：
Lecture Notes in Computer Science 57 Portability of Numerical Software
1977 年出版539 页ISBN：3540084460
Lecture Notes in Computer Science 74 Mathematical Foundations of Computer Science 1979
1979 年出版580 页ISBN：3540095268
Lecture Notes in Computer Science 3840 Unifying the Software Process Spectrum International Software
SPW 20052005 年出版522 页ISBN：3540311122
Lecture Notes in Computer Science 341 Software Reliability Modelling and Identification
1988 年出版209 页ISBN：3540506950
