Nobel Prizes And Notable Discoveries
The royal swedish academy of sciences2016 年出版562 页ISBN：9813144637
Lecture Notes in Computer Science 4349 Verification
Model Checking2007 年出版0 页ISBN：
Lecture Notes in Computer Science 2937 Verification
Model Checking2004 年出版0 页ISBN：
OBJECTIVITY:RECOVERING DETERMINATE REALITY IN PHILOSOPHY
SCIENCE2004 年出版62 页ISBN：
INTRODUCTORY STATISTICS AND PROBABILITY FOR ENGINEERING
SCIENCE1974 年出版0 页ISBN：
INTRODUCTORY STATISTICS AND PROBABILITY FOR ENGINEERING
SCIENCE2222 年出版446 页ISBN：
Hardware Description Languages and their Applications Specification
modelling1997 年出版350 页ISBN：
