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:
WRITING FOR YOUR READERS NOTES ON THE WRITER'S CRAFT FROM THE BOSTON GLOBE
1983 年出版172 页ISBN:087106975X