Real Time Programming Languages
Specification and Verification2010 年出版245 页ISBN:9810225667
Introduction to Optimization of Structures With 66 Illustrations
N.V.Banichuk2222 年出版300 页ISBN:0387972129
INTRODUCTION TO PROGRAMMING WITH ++
(美) 梁(Liang.Y.D.)著2008 年出版643 页ISBN:9787111239963