书目信息

书名： 软件灵活性设计 
作者： 汉森 ， 萨斯曼 著 ；谢学说 译
出版信息： 北京   机械工业出版社  2024.03
开本页数： 24cm  XV, 305页
丛书名： 软件工程技术丛书
单 册：
中图分类： TP311.561
科图分类：
主题词： 软件工具--ruan jian gong ju--程序设计
电子资源：
ISBN： 978-7-111-74704-8
000 02163nam 2200337 450
001 02349274
005 20250714143801.0
010    @a978-7-111-74704-8@dCNY99.00
100    @a20250714d2024 em y0chiy50 ea
101 1  @achi@ceng
102    @aCN@b110000
105    @aa a 000yy
106    @ar
200 1  @a软件灵活性设计@Aruan jian ling huo xing she ji@e如何避免陷入编程困境@f(美) 克里斯·汉森, 杰拉尔德·杰伊·萨斯曼著@d= Software design for flexibility@ehow to avoid programming yourself into a corner@fChris Hanson, Gerald Jay Sussman@g谢学说 ... [等] 译@zeng
210    @a北京@c机械工业出版社@d2024.03
215    @aXV, 305页@c图@d24cm
225 2  @a软件工程技术丛书@Aruan jian gong cheng ji shu cong shu
306    @a由MIT Press通过Bardon-Chinese Media Agency授权出版
314    @a克里斯·汉森, 目前在Datera公司担任技术人员, 他曾在麻省理工学院工作多年, 是MIT/GNUScheme系统的主要开发者。他还曾在谷歌工作10年。杰拉尔德·杰伊·萨斯曼, 麻省理工学院电子工程系教授。自1964年以来, 他一直参与麻省理工学院的人工智能研究。谢学说, 先进计算与关键软件 (信创) 海河实验室副研究员, 天津科技大学人工智能学院兼聘硕士生导师。
320    @a有书目 (第297-305页)
330    @a本书主要介绍如何利用数学符号操作、基于规则的系统和通用程序构建灵活的软件, 并利用依赖系统跟踪、解释和控制回溯。第1章通过对编程哲学的介绍提出灵活性的概念。第2章探讨如何用一些普遍适用的方法构建易于扩展的系统。第3章介绍谓词分派的通用程序。第4章介绍符号模式匹配, 首先启用术语重写系统, 然后通过合一展示类型推理的实现。第5章探讨解释和编译。第6章展示如何构造分层数据和分层程序的系统, 并用各种元数据注释其中的数据项。第7章引入传播这一概念来摆脱计算机语言的面向表达式范式。
410  0 @12001 @a软件工程技术丛书
500 10 @aSoftware design for flexibility : how to avoid programming yourself into a corner@mChinese
517 1  @a如何避免陷入编程困境@Aru he bi mian xian ru bian cheng kun jing
606 0  @a软件工具@Aruan jian gong ju@x程序设计
690    @aTP311.561@v5
701  1 @a汉森@Ahan sen@g(Hanson, Chris)@4著
701  1 @a萨斯曼@Asa si man@g(Sussman, Gerald Jay)@4著
702  0 @a谢学说@Axie xue shuo@4译
801  0 @aCN@bZZJT@c20250715
905    @aLYXY@dTP311.561@e254@f3
    
    软件灵活性设计：如何避免陷入编程困境/(美) 克里斯·汉森, 杰拉尔德·杰伊·萨斯曼著= Software design for flexibility：how to avoid programming yourself into a corner/Chris Hanson, Gerald Jay Sussman/谢学说 ... [等] 译.-北京：机械工业出版社，2024.03
    XV, 305页：图；24cm.-(软件工程技术丛书)
    
    
    ISBN 978-7-111-74704-8：CNY99.00
    本书主要介绍如何利用数学符号操作、基于规则的系统和通用程序构建灵活的软件, 并利用依赖系统跟踪、解释和控制回溯。第1章通过对编程哲学的介绍提出灵活性的概念。第2章探讨如何用一些普遍适用的方法构建易于扩展的系统。第3章介绍谓词分派的通用程序。第4章介绍符号模式匹配, 首先启用术语重写系统, 然后通过合一展示类型推理的实现。第5章探讨解释和编译。第6章展示如何构造分层数据和分层程序的系统, 并用各种元数据注释其中的数据项。第7章引入传播这一概念来摆脱计算机语言的面向表达式范式。
●
相关链接 在五车中查询图书 在当当中查询图书 在豆瓣中查询图书


正题名：软件灵活性设计     索取号：TP311.561/254         预约/预借

序号 登录号 条形码 馆藏地/架位号 状态 备注
1 1452046   214520464   十四楼书库/ [索取号:TP311.561/254] 在馆     架位导航
2 1452047   214520473   十四楼书库/ [索取号:TP311.561/254] 在馆     架位导航
3 1452048   214520482   十四楼书库/ [索取号:TP311.561/254] 在馆     架位导航