Lecture Notes in Computer Science 4383 Hardware and Software
Verification and Testing Second International Haifa Verification Conference2007 年出版235 页ISBN：
Lecture Notes in Computer Science 940 Advances in Databases 13th British National Conference on Data
1995 年出版276 页ISBN：3540601007
Lecture Notes in Computer Science 57 Portability of Numerical Software
1977 年出版539 页ISBN：3540084460
Lecture Notes in Computer Science 756 Design of Hashing Algorithms
1993 年出版194 页ISBN：3540575006
Lecture Notes in Computer Science 124 Compiler Specification and Verification
1981 年出版269 页ISBN：3540108866
Lecture Notes in Computer Science 4322 Reliable Systems on Unreliable Networked Platforms 12th Monte
2007 年出版317 页ISBN：9783540711551
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 4732 Theorem Proving in Higher Order Logics 20th International Con
TPHOLs 20072007 年出版400 页ISBN：9783540745907
