B.B.史捷班诺夫著相关电子书下载

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

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

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

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

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

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

（苏）谢米科连诺夫（Н.П.Семиколенов）著；赵家俊等译1958 年出版161 页ISBN：5034·24

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

伊利达尔·别德列特金诺夫著2018 年出版271 页ISBN：9787561258736

A.K.马尔丹诺夫，A.A.雷民里可夫，Д.C.高尔谢宁著1954 年出版96 页ISBN：

（苏）丘古诺夫（С.А.Чугунов）著；张葆樽等译1959 年出版310 页ISBN：14048·1916