Lecture Notes in Computer Science 4143 Generative and Transformational Techniques in Software Engine
GTTSE 20052006 年出版471 页ISBN：354045778X
Lecture Notes in Computer Science 3167 Refinement Techniques in Software Engineering First Pernambuc
PSSE 20042006 年出版391 页ISBN：3540462538
Lecture Notes in Computer Science 4401 Rapid Integration of Software Engineering Techniques Third In
RISE 20062007 年出版177 页ISBN：9783540718758
Lecture Notes in Computer Science 3475 Rapid Integration of Software Engineering Techniques First In
RISE 20042005 年出版145 页ISBN：3540258124
Lecture Notes in Computer Science 3147 Integration of Software Specification Techniques for Applicat
2004 年出版628 页ISBN：3540231358
Lecture Notes in Computer Science 3286 Generative Programming and Component Engineering Third Intern
GPCE 20042004 年出版491 页ISBN：3540235809
Lecture Notes in Computer Science 3943 Rapid Integration of Software Engineering Techniques Second I
RISE 20052006 年出版289 页ISBN：3540340637
Lecture Notes in Computer Science 3676 Generative Programming and Component Engineering 4th Internat
GPCE 20052005 年出版448 页ISBN：3540291385
Lecture Notes in Computer Science 4383 Hardware and Software
Verification and Testing Second International Haifa Verification Conference2007 年出版235 页ISBN：
Lecture Notes in Computer Science 341 Software Reliability Modelling and Identification
1988 年出版209 页ISBN：3540506950
