Lecture Notes in Computer Science 3294 Teaching Formal Methods CoLogNET/FME Stmposium
TFM 20042004 年出版249 页ISBN：3540236112
Lecture Notes in Computer Science 4309 Software Engineering Education in the Modern Age
2006 年出版205 页ISBN：9783540682035
Lecture Notes in Computer Science 2999 Integrated Formal Methods 4th International Conference
IFM 20042004 年出版541 页ISBN：3540213775
Lecture Notes in Computer Science 3771 Integrated Formal Methods 5th International Conference
IFM 20052005 年出版407 页ISBN：3540304924
Lecture Notes in Computer Science 4591 Integrated Formal Methods 6th International Conference
IFM 20072007 年出版660 页ISBN：9783540732099
Lecture Notes in Computer Science 3800 Variations on Constants
Markus Muller-Olm2006 年出版177 页ISBN：
Modern Statistical and Mathematical Methods in Reliability Series on Quality
Reliability and Engineering Statistics Vol.102005 年出版409 页ISBN：9812563563
Lecture Notes in Computer Science 4313 Leveraging Applications of Formal Methods First International
ISOLA 20042006 年出版197 页ISBN：9783540489283
Lecture Notes in Computer Science 2165 Process Algebra and Probabilistic Methods Performance Modelli
PAPM-PROBMIV 20012001 年出版217 页ISBN：354042556X
Lecture Notes in Computer Science 1980:Lectures on Information Retrieval
Maristella Agosti2001 年出版311 页ISBN：
