蒋道鼎等译相关电子书下载

（苏）奥凯尔勃朗姆，Н.О.著；庄翠娣等译1959 年出版230 页ISBN：15033·1651

（美）A.麦罗拉（Asha Mehrotra）著；庞沁华等译1997 年出版460 页ISBN：7115064385

（美）伯　格（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