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:
CASE STUDIES IN ENVIRONMENTAL SCIENCE SECOND EDITION
2222 年出版408 页ISBN:0030315824
Data Processing Computers in Action Second Edition
1982 年出版592 页ISBN:0534980422
RELIABILITY AND MAINTAINABILITY IN PERSPECTIVE SECOND EDITION
2222 年出版276 页ISBN:0333391160