Lecture Notes in Computer Science 2986 Programming Languages and Systems 13th European Symposium on
ESOP 20042004 年出版417 页ISBN：3540213139
Lecture Notes in Computer Science 2028 Programming Languages and Systems 10th European Symposium on
ESOP 20012001 年出版433 页ISBN：3540418628
Lecture Notes in Computer Science 3444 Programming Languages and Systems 14th European Symposium on
ESOP 20052005 年出版439 页ISBN：3540254358
Lecture Notes in Computer Science 4421 Programming Languages and Systems 16th European Symposium on
ESOP 20072007 年出版538 页ISBN：9783540713142
Lecture Notes in Computer Science 3147 Integration of Software Specification Techniques for Applicat
2004 年出版628 页ISBN：3540231358
Lecture Notes in Computer Science 3924 Programming Languages and Systems 15th European Symposium on
ESOP 20062006 年出版343 页ISBN：354033095X
Lecture Notes in Computer Science 3349 Shared Memory Parallel Programming with OpnMP 5th Internation
WOMPAT 20042005 年出版149 页ISBN：354024560X
Lecture Notes in Computer Science 3167 Refinement Techniques in Software Engineering First Pernambuc
PSSE 20042006 年出版391 页ISBN：3540462538
Lecture Notes in Computer Science 4143 Generative and Transformational Techniques in Software Engine
GTTSE 20052006 年出版471 页ISBN：354045778X
