К.Т.洛格维诺夫相关电子书下载

（美）斯特帕诺夫著2012 年出版283 页ISBN：9787111367291

本书将演绎方法应用于程序设计，讨论程序与保证它们能正确工作的抽象数学理论之间的联系。书中把理论的规程、基于这些理论写出的算法，以及描述算法性质的引理和定理一起呈现给读者。...

Л·П谢苗诺夫著2222 年出版90 页ISBN：

金维诺总主编；孙华卷主编2010 年出版874 页ISBN：7546113722

金维诺总主编；孙华卷主编2010 年出版1189 页ISBN：7546113722

金维诺总主编；孙华卷主编2010 年出版579 页ISBN：7546113722

金维诺总主编；孙华卷主编2010 年出版276 页ISBN：7546113722

（苏联）波尔卡诺夫著1956 年出版22 页ISBN：13038·107

（苏）鲁西诺夫（И.Н.Русинов）著；王兆彬等译1957 年出版260 页ISBN：15039·107

（苏）谢苗诺夫（Ю.И.Семенов）著；蔡俊生译1983 年出版340 页ISBN：2190·077

（苏）勃留哈诺夫，А.Н.著；冯桐笙，王树良译1960 年出版505 页ISBN：15033·2046