Real Time Programming Languages
Specification and Verification2010 年出版245 页ISBN:9810225667
(美)帕尔默(Palmer,Scott.D.)著;王学军,孙 利译1994 年出版353 页ISBN:750532215X
书名原文:Programmer'sintroductiontoTurboPascalforWindows:著者原题无汉译名:本书介绍了TurboPascal程序设计、基础理论及中高级程序设计技巧等。