Lecture Notes in Computer Science 4383 Hardware and Software
Verification and Testing Second International Haifa Verification Conference2007 年出版235 页ISBN:
LECTURE NOTES IN COMPUTER SCIENCE 490 ALGEBRAIC METHODS Ⅱ:THEORY
TOOLS AND APPLICATIONS1991 年出版434 页ISBN:
Lecture Notes in Computer Science 2987 Foundations of Software Science and Computation Structures 7t
FOSSACS 20042004 年出版528 页ISBN:3540212981
Lecture Notes in Computer Science 3441 Foundations of Software Science and Computation Structures 8t
FOSSACS 20052005 年出版521 页ISBN:3540253882
Lecture Notes in Computer Science 3921 Foundations of Software Science and Computation Structures 9t
FOSSACS 20062006 年出版447 页ISBN:3540330453
Lecture Notes in Computer Science 3983 Computational Science and Its Applications-ICCSA 2006
Marina Gavrilova2222 年出版0 页ISBN:
Lecture Notes in Computer Science 2303 Foundations of Software Science and Computation Structures 5t
FOSSACS 20022002 年出版433 页ISBN:354043366X