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