FORMAL VLSI CORRECTNESS VERIFICATION VLSI Design Methods-II
1990 年出版427 页ISBN:0444886885
CHEMICAL AND PHYSICAL METHODS FOR PROTECTING BIOPOLYMERS AGAINST PESTS
2008 年出版237 页ISBN:9781604563313
INTRODUCTION TO SIMULATION Programming Techniques and Methods of Analysis
1982 年出版324 页ISBN:0070489459