骆鼎昌等译相关电子书下载

（美）A.H.海恩（Anton H.Hehn）著；易孟林等译2000 年出版557 页ISBN：7111079744

（美）（M.格德勒）Michael Girdley等著；曹康等译1997 年出版389 页ISBN：7115066248

（M.C.）斯尼特（Sneed，M.C.），（R.C）勃拉斯蒂特（Brasted，R.C.）主编；何开苗，何兆雄等译1964 年出版220 页ISBN：15119·1777

（西班牙）贝尼托·佩雷斯·加尔多斯著；王永达等译1996 年出版657 页ISBN：7020020917

（美）（H.希尔特）（Herbert Schildt）著；王子恢等译1997 年出版562 页ISBN：7505339745

（苏）奥凯尔勃朗姆，Н.О.著；庄翠娣等译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