AN INTRODUCTION TO FORMAL PROGRAM VERIFICATION 相关电子书下载

左学金，程杭生主编2005 年出版308 页ISBN：7801907817

本书是“中国国有企业治理国际学术研讨会”与会代表发言论文集，作者阵容强大，由来自世界各地相关领域的专家和学者组成。书中具体分析了中国台湾、上海、法国、俄罗斯、波兰和美国、日本等地区和国家国有企业...

CLYDE V.PRESTOWITZ1988 年出版572 页ISBN：

2ND EDITON2011 年出版164 页ISBN：0883149516

JOHN ENCK MEL BECKMAN1995 年出版267 页ISBN：0070196141

J.M.W.SLACK1983 年出版241 页ISBN：0521242053

PETER EVANS GEOFF DEEHAN1988 年出版222 页ISBN：0246132744

edited by Alan Nelson2005 年出版507 页ISBN：1405109092

DLANNA L.VAN BLERKOM1995 年出版298 页ISBN：0534245285

Victor S.Sohmen2017 年出版120 页ISBN：3659700132

（英）约翰·亨利·纽曼著2014 年出版0 页ISBN：

本书是一部研究基督教教义发展史的重要著作。在书中，纽曼对教义的发展与教义的扭曲做出了区分。纽曼讨论了天主教、东正教和新教所持守教义的不同，并试图通过对从使徒时代到19世纪基督教要义发展史的考查，区分...