(美)(E.S.帕斯科)Edward S.Peschko,(美)(M.德沃夫)Michele Dewolfe著;康博创作室译1999 年出版858 页ISBN:7111072839
(美)(J.D.福克萨尔)James D.Foxall著;王建华等译2000 年出版223 页ISBN:7111080432
(美)斯特帕诺夫著2012 年出版283 页ISBN:9787111367291
本书将演绎方法应用于程序设计,讨论程序与保证它们能正确工作的抽象数学理论之间的联系。书中把理论的规程、基于这些理论写出的算法,以及描述算法性质的引理和定理一起呈现给读者。...