题名:
计算的数学理论
Ji Suan De Shu Xue Li Lun / (美)马纳(Manna,Z.)著 , 李玉茜译
ISBN:
价格： CNY4.65
语种:
chieng
载体形态:
621页 19cm
出版发行:
出版地： 北京 出版社：
科学出版社
出版日期： 1986
内容提要:
本书是一部以可以计算性理论和数理逻辑为工具，讨论程序正确性验证的专著。
主题词:
计算机系统
算法理论
主题词:
算法理论
计算机系统
中图分类法:
TP301.6 版次： 4
主要责任者:
马纳
Ma Na 著
次要责任者:
李玉茜
Li Yu Qian 译
索书号:
TP301.6/7724