裁判的方法相关电子书下载

黎顺兰译；吴伯俦校1981 年出版219 页ISBN：

傅德荣编著1994 年出版382 页ISBN：7040043408

本书介绍了CAI课件开发的理论、原理和方法

魏宏森编著1985 年出版297 页ISBN：1723·25

M·库比切克，M·马雷克著；刘式达，刘式适译1990 年出版276 页ISBN：7030016173

艾晓宁编译1992 年出版256 页ISBN：750780271X

梁琨，熊义初编著1992 年出版321 页ISBN：7562404062

田凤调等著1985 年出版119 页ISBN：14048·4882

（苏）维诺格拉多夫（А.П.Виноградов）等编；朱兆良译1956 年出版62 页ISBN：13031.386

（美）伯　格（Berg，H.K.）等著；宋国新等译1988 年出版250 页ISBN：7030002792

本书全面地介绍了程序验证理论、规范及有关的方法

（苏）古萨洛夫等著1949 年出版100 页ISBN：