肖然等译相关电子书下载

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

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

（美）（N.巴尔卡）（Nabajyoti Barkati）著；任明等译1996 年出版727 页ISBN：7505334190

（美）Dipto Chakravarty，（美）Casey Cannon著；周长春等译1995 年出版286 页ISBN：7505330535

（美）特普斯特拉（Terpstra，Vern）著；郭国庆等译1991 年出版243 页ISBN：7501714797

（英）R.威尔逊（Richard Wilson）著；苏通等译编1988 年出版695 页ISBN：7301003609

（美）Craig Witherspoon，（美）Coletta Witherspoon著；李斌，宋如等译1996 年出版395 页ISBN：7505335693

（美）（K.伊文思）Kathy Ivens著；陈茂良等译1998 年出版339 页ISBN：7111066812

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

（苏）阿里索夫（Б.П.Алисов）著；谢义炳等译1957 年出版380 页ISBN：13010·262

（澳）LonelyPlanet公司编，张娟娟等译2009 年出版332 页ISBN：9787108030160

本书对老挝各省、重要城镇、重点村落的名胜景点、地理环境都予以详尽介绍，并将游客于实地游览可能涉及到的旅行线路、食宿条件等实用信息一一列出。除此之外，更有出行、交通、保健、语言等方面的温馨提示。全...