Real Time Programming Languages
Specification and Verification2010 年出版245 页ISBN:9810225667
Path planning for Vehicles operating in uncertain 2D environments
viacheslav pshikhopov2017 年出版298 页ISBN:0128123058
INTRODUCTION TO PROGRAMMING WITH ++
(美) 梁(Liang.Y.D.)著2008 年出版643 页ISBN:9787111239963