计算机科学：抽象的机械化 电子书下载

原名:Computer Science: The Mechanization of Abstraction
作品简介:第一章计算机科学：抽象的机械化虽然这是一个新领域，但计算机科学已经触及几乎各个方面……