书目信息 |
题名: |
实用编程语言理论基础
|
|
作者: | 哈珀 著 ;张昱 , 胡明哲 译 | |
分册: | ||
出版信息: | 北京 机械工业出版社 2022 |
|
页数: | 14, 385页 | |
开本: | 26cm | |
丛书名: | 计算机科学丛书 | |
单 册: | ||
中图分类: | TP312 | |
科图分类: | ||
主题词: | 程序语言--cheng xu yu yan--程序设计 | |
电子资源: | ||
ISBN: | 978-7-111-69740-4 |
000 | 01269oam2 2200313 450 | |
001 | 011025150633 | |
005 | 20221025150633.0 | |
010 | @a978-7-111-69740-4@dCNY139.00 | |
100 | @a20201004d2022 em y0chiy50 ea | |
101 | 1 | @achi@ceng |
102 | @aCN@b110000 | |
105 | @ay z 000yy | |
106 | @ar | |
200 | 1 | @a实用编程语言理论基础@Ashi yong bian cheng yu yan li lun ji chu@dPractical foundations for programming languages@f(美) 罗伯特·哈珀(Robert Harper) 著@g张昱, 胡明哲等译@zeng |
210 | @a北京@c机械工业出版社@d2022 | |
215 | @a14, 385页@d26cm | |
225 | 2 | @a计算机科学丛书@Aji suan ji ke xue cong shu |
300 | @a华章图书华章教育 | |
305 | @a据原书第2版译出 | |
330 | @a本书提出了一种基于类型系统和结构操作语义的编程语言理论。全书涉及的概念广泛,包括:基本数据类型,多态和抽象类型,动态定型,动态分派,子类型和类型细化,符号和动态分类,并行和成本语义,并发和分布。 | |
410 | 0 | @12001 @a计算机科学丛书 |
510 | 1 | @aPractical foundations for programming languages@zeng |
606 | 0 | @a程序语言@Acheng xu yu yan@x程序设计 |
690 | @aTP312@v5 | |
701 | 0 | @c(美)@a哈珀@Aha po@g(Harper, Robert)@4著 |
702 | 0 | @a张昱@Azhang yu@4译 |
702 | 0 | @a胡明哲@Ahu ming zhe@4译 |
801 | 0 | @aCN@c20221025 |
905 | @a河南城建学院图书馆@dTP312@eL9362 | |
实用编程语言理论基础=Practical foundations for programming languages/(美) 罗伯特·哈珀(Robert Harper) 著/张昱, 胡明哲等译.-北京:机械工业出版社,2022 |
14, 385页;26cm.-(计算机科学丛书) |
华章图书华章教育 |
ISBN 978-7-111-69740-4:CNY139.00 |
本书提出了一种基于类型系统和结构操作语义的编程语言理论。全书涉及的概念广泛,包括:基本数据类型,多态和抽象类型,动态定型,动态分派,子类型和类型细化,符号和动态分类,并行和成本语义,并发和分布。 |
● |
相关链接 |
![]() |
![]() |
![]() |
正题名:实用编程语言理论基础
索取号:TP312/L9362
 
预约/预借
序号 | 登录号 | 条形码 | 馆藏地/架位号 | 状态 | 备注 |
1 | 1584885 | 215848858 | 自科库301/301自科库 82排1列4层/ [索取号:TP312/L9362] | 在馆 |