Lecture Notes in Computer Science 3925 Model Checking Software 13th International SPIN Workshop
2006 年出版305 页ISBN:3540331026
Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN Workshop
2005 年出版287 页ISBN:3540281959
Lecture Notes in Computer Science 3547 Product Focused Software Process Improvement 6th Internationa
PROFES 20052005 年出版588 页ISBN:3540262008
Lecture Notes in Computer Science 3009 Product Focused Software Process Improvement 5th Internatonal
PROFES 20042004 年出版584 页ISBN:3540214216
Lecture Notes in Computer Science 4620 Transactions on Aspect-Oriented Software Development III
2007 年出版201 页ISBN:9783540751618
Lecture Notes in Computer Science 4242 Transactions on Aspect-Oriented Software Development II
2006 年出版289 页ISBN:9783540488903
Lecture Notes in Computer Science 3880 Transactions on Aspect-Oriented Software Development I
2006 年出版335 页ISBN:3540329722
Lecture Notes in Computer Science 4640 Transactions on Aspect-Oriented Software Development IV
2007 年出版191 页ISBN:9783540770411
Lecture Notes in Computer Science 2931 Formal Approaches to Software Testing Third International Wor
FATES 20032004 年出版267 页ISBN:3540208941