（美）富克相关电子书下载

（美）伯恩斯坦（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

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

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

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

（英）迈克尔·普尔（MichaelPoole），（美）马尔科姆·沃纳（MalcolmWarner）主编1998 年出版974 页ISBN：7538254129