Lecture Notes in Computer Science 3965 Formal Methods for Hardware Verification 6th International Sc
Communication2006 年出版0 页ISBN：
Lecture Notes in Computer Science 3465 Formal Methods for Mobile Computing 5th International School
Communication2005 年出版271 页ISBN：
Lecture Notes in Computer Science 3314 Computational and Information Science First International Sym
CIS 20042004 年出版1259 页ISBN：3540241272
Lecture Notes in Computer Science 4423 Foundations of Software Science and Computational Structures
FOSSACS 20072007 年出版379 页ISBN：9783540713883
Lecture Notes in Computer Science 4486 Formal Methods for Performance Evaluation 7th International S
Communication and Software Systems2007 年出版470 页ISBN：
Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN：354021366X
Lecture Notes in Computer Science 4085 FM 2006:Formal Methods 14th International Symposium on Formal
2006 年出版620 页ISBN：3540372156
Lecture Notes in Computer Science 341 Software Reliability Modelling and Identification
1988 年出版209 页ISBN：3540506950
Lecture Notes in Computer Science 3362 Construction and Analysis of Safe
Secure2005 年出版0 页ISBN：
Lecture Notes in Computer Science 3956 Construction and Analysis of Safe
Secure2006 年出版0 页ISBN：
