书目详细信息 : 数字计算机设计自动化的理论和方法