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 Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN：
Lecture Notes in Computer Science 3107 Software Reuse:Methods
Techniques2004 年出版0 页ISBN：
Lecture Notes in Computer Science 3929 Relational Methods in Computer Science 8th International Semi
2006 年出版263 页ISBN：3540333398
LECTURE NOTES IN COMPUTER SCIENCE 490 ALGEBRAIC METHODS Ⅱ:THEORY
TOOLS AND APPLICATIONS1991 年出版434 页ISBN：
Lecture Notes in Computer Science 3236 Applying Formal Methods:Testing
Performance2222 年出版0 页ISBN：
Lecture Notes in Computer Science 3051 Relational and Kleene-Algebraic Methods in Computer Science 7
2004 年出版278 页ISBN：354022145X
Lecture Notes in Computer Science 4679 Energy Minimization Methods in Computer Vision and Pattern Re
EMMCVPR 20072007 年出版494 页ISBN：9783540741954
