Lecture Notes in Computer Science 4262 Formal Approaches to Software Testing and Runtime Verificatio
2006 年出版255 页ISBN:9783540496991
PROBABILITY AND STATISTICS FOR ENGINEERING AND THE SCIENCES
1982 年出版640 页ISBN:0818505141
BIOLOGY AND BIOCHEMISTRY FOR CHEMISTS AND CHEMICAL ENGINEERS
1989 年出版162 页ISBN:0745803016