书目详细信息 : 计算的本质:深入剖析程序和计算机