Lecture Notes in Computer Science 3441 Foundations of Software Science and Computation Structures 8t
FOSSACS 20052005 年出版521 页ISBN：3540253882
Lecture Notes in Computer Science 3921 Foundations of Software Science and Computation Structures 9t
FOSSACS 20062006 年出版447 页ISBN：3540330453
Lecture Notes in Computer Science 2984 Fundamental Approaches to Software Engineering 7th Internatio
FASE 20042004 年出版389 页ISBN：3540213058
Lecture Notes in Computer Science 3437 Software Engineering and Middleware 4ht International Worksho
SEM 20042005 年出版245 页ISBN：3540253289
Lecture Notes in Computer Science 3922 Fundamental Approaches to Software Engineering 9th Internatio
FASE 20062006 年出版425 页ISBN：3540330933
（美）康斯坦丁（Constantine，L.L.） （美）洛克伍德（Lockwood，L.A.D.）著2003 年出版579 页ISBN：7111105818
Lecture Notes in Computer Science 2303 Foundations of Software Science and Computation Structures 5t
FOSSACS 20022002 年出版433 页ISBN：354043366X
Lecture Notes in Computer Science 3442 Fundamental Approaches to Software Engineering 8th Internatio
FASE 20052005 年出版371 页ISBN：354025420X
SAFETY OF COMPUTER CONTROL SYSTEMS 1989 SAFECOMP’89
R.GENSER，E.SCHOITSCH AND P.KOPACEK2222 年出版149 页ISBN：0080375359
SOFTWARE QUALITY:A FRAMEWORK FOR SUCCESS IN SOFTWARE DEVELOPMENT AND SUPPORT
1994 年出版179 页ISBN：0201631989
