机读格式显示(MARC)

• 000 01621nam 2200325 450

• 001 0000374897

• 005 20160516150500.0

• 010 __ |a 978-7-115-36154-7 |d CNY69.00

• 100 __ |a 20141118d2014 em y0chiy0110 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a ak z 000yy

• 106 __ |a r

• 200 1_ |a 计算的本质 |A ji suan de ben zhi |e 深入剖析程序和计算机 |d = Understanding computation |e from simple machines to impossible programs |f (英)Tom Stuart著 |g 张伟译 |z eng

• 210 __ |a 北京 |c 人民邮电出版社 |d 2014

• 215 __ |a xiv, 286页 |c 图 |d 24cm

• 225 2_ |a 图灵程序设计丛书 |A tu ling cheng xu she ji cong shu

• 306 __ |a 简体中文版由人民邮电出版社出版, 2014。英文原版的翻译得到O'Reilly Media, Inc.的授权

• 314 __ |a 责任者Stuart规范汉译姓: 斯图尔特; Tom Stuart, 伦敦数字产品咨询公司Codon的创始人、计算机科学家、程序员, 擅长Ruby、Rails、Web应用、用户体验、面向对象设计和行为驱动开发。

• 330 __ |a 本书借助简单的Ruby代码示例, 全面、深入地介绍计算理论和编程语言设计。作者注重实用性, 在读者熟知的背景知识下, 以明晰的可工作代码阐释了形式语义、自动机理论, 以及通过lambda演算进行函数式编程等计算问题, 并为读者自行探索打下了良好基础。

• 461 _0 |1 2001 |a 图灵程序设计丛书

• 510 1_ |a Understanding computation |e from simple machines to impossible programs |z eng

• 517 1_ |a 深入剖析程序和计算机 |A shen ru pou xi cheng xu he ji suan ji

• 606 0_ |a 程序设计 |A cheng xu she ji |x 基本知识

• 606 0_ |a 程序设计 |A cheng xu she ji

• 690 __ |a TP311.1 |v 5

• 701 _1 |c (英) |a 斯图尔特 |A si tu er te |c (Stuart, Tom) |4 著

• 702 _0 |a 张伟 |A zhang wei |4 译

• 801 _0 |a CN |b LIB |c 20160516

• 905 __ |a LIB |d TP311.1/153