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 4486 Formal Methods for Performance Evaluation 7th International S
Communication and Software Systems2007 年出版470 页ISBN：
Lecture Notes in Computer Science 4085 FM 2006:Formal Methods 14th International Symposium on Formal
2006 年出版620 页ISBN：3540372156
LECTURE NOTES IN MATHEMATICS 1446: METHODS OF NONCONVEX ANALYSIS
1990 年出版210 页ISBN：3540531203;0387531203
Lecture Notes in Computer Science 4468 Formal Methods for Open Object-Based Distributed Systems 9th
2007 年出版317 页ISBN：9783540729198
Lecture Notes in Computer Science 3535 Formal Methods for Open Object-Based Distributed Systems 7th
FMOODS 20052005 年出版321 页ISBN：3540261818
Lecture Notes in Computer Science 4037 Formal Methods for Open Object-Based Distributed Systems 8th
FMOODS 20062006 年出版267 页ISBN：354034893X
LECTURE NOTES IN MATHEMATICS 1320: SEMIGROUPS THEORY AND APPLICATIONS
1988 年出版420 页ISBN：3540193472;0387193472
LECTURE NOTES IN MATHEMATICS 1302: FUNCTION SPACES AND APPLICATIONS
1988 年出版445 页ISBN：354018905X;038718905X
