Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN Workshop
2005 年出版287 页ISBN:3540281959
Lecture Notes in Computer Science 2987 Foundations of Software Science and Computation Structures 7t
FOSSACS 20042004 年出版528 页ISBN:3540212981
Lecture Notes in Computer Science 3096 Advances in Learning Software Organizations 6th International
LSO 20042004 年出版173 页ISBN:3540221921
Lecture Notes in Computer Science 4019 Algebraic Methodology and Software Technology 11th Internatio
AMAST 20062006 年出版389 页ISBN:3540356339
Lecture Notes in Computer Science 3547 Product Focused Software Process Improvement 6th Internationa
PROFES 20052005 年出版588 页ISBN:3540262008