Lecture Notes in Computer Science 4260 Formal Methods and Software Engineering 8th International Con
ICFEM 20062006 年出版775 页ISBN：3540474609
Lecture Notes in Computer Science 3555 Reliable Software Technologies-Ada-Europe 2005 10th Ada-Europ
2005 年出版273 页ISBN：3540262865
Lecture Notes in Computer Science 4346 Formal Methods:Applications and Technology 11th International
FMICS 20062007 年出版364 页ISBN：9783540709510
Lecture Notes in Computer Science 23 Programming Methodology 4th Informatik Symposium
IBM Germany1975 年出版501 页ISBN：3540071318
Lecture Notes in Computer Science 4762 Automated Technology for Verification and Analysis 5th Intern
ATVA 20072007 年出版566 页ISBN：9783540755951
Lecture Notes in Computer Science 4089 Software Composition 5th International Symposium
SC 20062006 年出版339 页ISBN：3540376577
Lecture Notes in Computer Science 4829 Software Composition 6th International Symposium
SC 20072007 年出版281 页ISBN：9783540773504
Lecture Notes in Computer Science 3628 Software Composition 4th International Workshop
SC 20052005 年出版199 页ISBN：3540287485
Lecture Notes in Computer Science 3423 Recent Trends in Algebraic Development Techniques 17th Intern
WADT 20042005 年出版271 页ISBN：3540253270
Lecture Notes in Computer Science 4409 Recent Trends in Algebraic Development Techniques 18th Intern
WADT 20062007 年出版171 页ISBN：9783540719977
