(美)伯 格(Berg,H.K.)等著;宋国新等译1988 年出版250 页ISBN:7030002792
本书全面地介绍了程序验证理论、规范及有关的方法
郭玲格主编2003 年出版416 页ISBN:7507515281
健康已成为老百姓日益关注的话题。本书将向你传递怎样预防疾病、增加身体的抵抗力,让健康的生活属于您。
刘英格,徐继宁主编2003 年出版561 页ISBN:7801870417
本书共收录《新概念英语》词汇2720条,每个词包括读音、拼写、构词用法、例句等项。
马喜法,楼一光,张习格主编2009 年出版192 页ISBN:9787111261896
本书主要包括高级工具钳工的基础知识,专业知识和技能等。