Lecture Notes in Computer Science 3965 Formal Methods for Hardware Verification 6th International Sc
Communication2006 年出版0 页ISBN:
HIGHER EDUCATION IN THE UNITED KINGDOM 1991-92 A HANDBOOK FOR STUDENTS AND THEIR ADVISERS
1990 年出版298 页ISBN:058206631X