计算的数学理论 《计算的数学理论》,作者:(美)马纳(Manna， Z.)著；李玉茜译 出版社:科学出版社 ISBN:15031745。本书是一部以可计算性理论和数理逻辑为工具，讨论程序正确性验证的专著．著者Z．马纳教授是本领域中世界公认的著名学者．他的这部著作和译本所附的“程序的逻辑分析”（1977）及“计算机程序设计的逻辑方法”（1978）两篇论文是计算机程序设计方面的重要理论著作，为许多文献所引用． 壹号书单 1986年09月01日 0 点赞 0 评论 23 浏览
