Computer Interface Engineering for Real-Time Systems:A Model-Based Approach
1987 年出版292 页ISBN:0131630237
Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN Workshop
2005 年出版287 页ISBN:3540281959
CONFERENCE RECORD OF THE 11TH ANNUAL ACM SYMPOSIUM ON THEORY OF COMPUTING 1979
2222 年出版367 页ISBN:0897910036
MATHEMATICAL STERUCTURES FOR COMPUTER SCIENCE A Modern Approach to Discrete Mathematics SIXTH EDITIO
2007 年出版807 页ISBN:071676864X