H.K. Bevan. 相关电子书下载

（美）贝克尔（Becker，H.K.），（美）贝克尔著；刘植荣译1991 年出版341 页ISBN：7203018210

（美）马蒂森（Matison，H.K.）著；赵太和，金宏达译1986 年出版200 页ISBN：10326·138

（印）古普塔（H.K. Gupta），拉斯托吉（B.K. Rastogl）著；王卓凯等译1980 年出版138 页ISBN：13180·59

（H.K. 卢）H. Kim Lew等著1999 年出版714 页ISBN：7302034931

H.K.陶尔明顿托夫教授著；沈肇圻译1956 年出版335 页ISBN：15044·6056京

（美）海斯，H.K.等著；庄巧生等译1962 年出版523 页ISBN：16144·912

（美）H.K.范·波伦等1983 年出版334 页ISBN：

（美）（D.C.萨比斯顿）David C.Sabiston，（美）（H.K.莱尔利）H.Kim Lyerly主编；朱壮涌，梁金铜主译1998 年出版725 页ISBN：7506232235

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

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

JOHN A.BEVAN AND JEREMY H.THOMPSON1983 年出版916 页ISBN：0061404624