Lecture Notes in Computer Science 4260 Formal Methods and Software Engineering 8th International Con
ICFEM 20062006 年出版775 页ISBN:3540474609
Lecture Notes in Computer Science 3412 COTS-Based Software Systems 4th International Conference
ICCBSS 20052005 年出版312 页ISBN:3540245480
Lecture Notes in Computer Science 4589 Product-Focused Software Process Improvement 8th Internationa
PROFES 20072007 年出版414 页ISBN:9783540734598
Lecture Notes in Computer Science 4063 Component-Based Software Engineering 9th International Sympos
CBSE 20062006 年出版394 页ISBN:3540356282
Lecture Notes in Computer Science 3395 Formal Approaches to Software Testing 4th International Works
FATES 20042005 年出版225 页ISBN:354025109X
SAFETY OF COMPUTER CONTROL SYSTEMS 1986(SAFECOMP'86) Trends in Safe Real Time Computer Systems
1986 年出版193 页ISBN:0080348017
Lecture Notes in Computer Science 3393 Formal Methods in Software and Systems Modeling Essays Dedica
2005 年出版413 页ISBN:3540249362
Lecture Notes in Computer Science 4422 Fundamental Approaches to Software Engineering 10th Internati
FASE 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software2007 年出版440 页ISBN: