计算的数学理论

计算的数学理论
15031745
(美)马纳(Manna， Z.)著；李玉茜译

TP301.6
科学出版社
1986-09
1986
1986
本书是一部以可计算性理论和数理逻辑为工具，讨论程序正确性验证的专著．著者Z．马纳教授是本领域中世界公认的著名学者．他的这部著作和译本所附的“程序的逻辑分析”（1977）及“计算机程序设计的逻辑方法”（1978）两篇论文是计算机程序设计方面的重要理论著作，为许多文献所引用．