（美）泡特（Potter 相关电子书下载

（美）（A.拉思伯恩）Andy Rathbone著；阮琼芳等译1998 年出版256 页ISBN：7505343165

（美）（C.卡尔弗特）Charles Calvert著；林亨利等译1997 年出版438 页ISBN：7115062803

（美）Bill Camarda2000 年出版604 页ISBN：7505360671

（美）伯恩斯坦（Bernstein，Richard J.）著；郭小平等译1992 年出版288 页ISBN：7800143856

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

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

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

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

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

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

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