DanielDeBacker等著相关电子书下载

（美）杨小燕等著1992 年出版210 页ISBN：7500907672

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

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

赵延年等著1988 年出版102 页ISBN：7810010417

严圣钦等著1992 年出版319 页ISBN：7100010101

本书收录４位朝鲜历史名人小传和４次重大历史事件，其中包括：朝鲜民族英雄李舜臣；近代农民革命领袖金准；朝鲜１８８４年的政变等。

陈祥超等著1999 年出版479 页ISBN：750063241X

（俄）И.А.图托尔斯基（И.А.Туторский）等著；吴棣华等译1998 年出版326 页ISBN：7800437167

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

鲁迅等著2008 年出版300 页ISBN：9787537943246

在众文学选本里，本套书是一套献给青少年朋友的别具特色的图书，不落俗套而兼顾众美，犹如清晨披着露珠的青草一般清新喜人。

张俊，乔宇峰等著2005 年出版408 页ISBN：7900393668

王得胜等著1998 年出版216 页ISBN：781040850X