(美)Julio Sanchez,(美)Maria Canton著;韩传钊,尹岩青等译2000 年出版640 页ISBN:7505362976
(美)斯特帕诺夫著2012 年出版283 页ISBN:9787111367291
本书将演绎方法应用于程序设计,讨论程序与保证它们能正确工作的抽象数学理论之间的联系。书中把理论的规程、基于这些理论写出的算法,以及描述算法性质的引理和定理一起呈现给读者。...
(加)Giancarlo Succi,(意)Michele Marchesi著;张辉译2002 年出版522 页ISBN:711510381X
本书介绍了XP以及柔性技术的基础,柔性技术和UML,结对编程、测试和重构,XP开发工具,XP上的实践经验等内容。