计算思维史话 (英)托尼·海依,(英)奎利·帕佩 著 武传海,陈少芸 译 专业科技 文轩网 视频