消息首页搜索举报

北京现货 Types and Programming Languages

原版正版。

525 九五品

仅1件

北京昌平

认证卖家担保交易快速发货售后保障

作者Benjamin C. Pierce

出版社MIT Press

ISBN9780262162098

出版时间2002

装帧精装

页数640页

货号G-X333

上书时间2024-01-24

书香无界北京外文书店

已实名已认证进店收藏店铺

在售商品暂无
平均发货时间 62小时
好评率暂无

店主推荐
最新上架

现货 Fabrication Methods for Precision Optics 英文原版精密光学元件测量制造、性能、应用精密制造中使用的光学工具理论光学和应用光学

现货 Fabrication Methods for Precision Optics 英文原版精密光学元件测量制造、性能、应用精密制造中使用的光学工具理论光学和应用光学 ¥588.00

现货 Mechanical Engineers' Handbook, Volume 2: Design, Instrumentation, and Controls 英文原版机械工程师手册设计仪器控制梅尔·库兹 Myer Kutz 环境意识制造材料选用手册

现货 Mechanical Engineers' Handbook, Volume 2: Design, Instrumentation, and Controls 英文原版机械工程师手册设计仪器控制梅尔·库兹 Myer Kutz 环境意识制造材料选用手册 ¥699.00

现货 Statistical Data Analytics: Foundations for Data Mining, Informatics, and Knowledge Discovery 统计数据分析基础数据挖掘方法与技术信息学情报学知识发现

现货 Statistical Data Analytics: Foundations for Data Mining, Informatics, and Knowledge Discovery 统计数据分析基础数据挖掘方法与技术信息学情报学知识发现 ¥599.00

现货 Chemical Process Design and Integration 英文原版化学化工工艺设计与集成化工工艺学合成制备设备制作加工流程

现货 Chemical Process Design and Integration 英文原版化学化工工艺设计与集成化工工艺学合成制备设备制作加工流程 ¥699.00

现货 Operating System Concepts 10ed (EPUB Reg Card + Abridged Print Companion Set) Abraham Silberschatz 英文原版现代操作系统概念基本原理与实践基础技术

现货 Operating System Concepts 10ed (EPUB Reg Card + Abridged Print Companion Set) Abraham Silberschatz 英文原版现代操作系统概念基本原理与实践基础技术 ¥999.00

现货 Deformation and Fracture Mechanics of Engineering Materials Hertzberg 英文原版工程材料的变形与断裂力学疲劳力学弹塑性断裂、损伤力学测试技术基本原理、方法及其应用

现货 Deformation and Fracture Mechanics of Engineering Materials Hertzberg 英文原版工程材料的变形与断裂力学疲劳力学弹塑性断裂、损伤力学测试技术基本原理、方法及其应用 ¥999.00

现货 Mergers, Acquisitions, and Corporate Restructurings 兼并、收购和公司重组 (第7版) （第四版）：金融学译丛帕特里克·A·高根（Patrick A.Gaughan）

现货 Mergers, Acquisitions, and Corporate Restructurings 兼并、收购和公司重组 (第7版) （第四版）：金融学译丛帕特里克·A·高根（Patrick A.Gaughan） ¥459.00

现货 Intelligent Systems: Architecture, Design, and Control 英文原版智能系统:结构、设计与控制 9787505399501 (美)Alexander M.Meystel，(美)James S.Albus著

现货 Intelligent Systems: Architecture, Design, and Control 英文原版智能系统:结构、设计与控制 9787505399501 (美)Alexander M.Meystel，(美)James S.Albus著 ¥699.00

现货 Handbook of Composites from Renewable Materials, Volume 8 Nanocomposites: Advanced Applications 英文原版可再生复合材料手册纳米复合材料合成材料高级应用可回收合成材料

现货 Handbook of Composites from Renewable Materials, Volume 8 Nanocomposites: Advanced Applications 英文原版可再生复合材料手册纳米复合材料合成材料高级应用可回收合成材料 ¥699.00

现货 Introduction to Calculus and Analysis: Vol. 1 R. Courant 英文原版微积分和数学分析引论 R. 库郎 R. 柯朗 R. 库兰特

现货 Introduction to Calculus and Analysis: Vol. 1 R. Courant 英文原版微积分和数学分析引论 R. 库郎 R. 柯朗 R. 库兰特 ¥800.00

现货 Introduction to Calculus and Analysis: Vol. 2 R. Courant 英文原版微积分和数学分析引论 R. 库郎 R. 柯朗 R. 库兰特

现货 Introduction to Calculus and Analysis: Vol. 2 R. Courant 英文原版微积分和数学分析引论 R. 库郎 R. 柯朗 R. 库兰特 ¥1500.00

现货英文版 Fluid Mechanics 流体力学

现货英文版 Fluid Mechanics 流体力学 ¥200.00

现货英文版 The Loom of Language: An Approach to the Mastery of Many Languages

现货英文版 The Loom of Language: An Approach to the Mastery of Many Languages ¥200.00

现货英文版 The Mathematical Theory of Non-uniform Gases: 不稳定气体的数学理论 An Account of the Kinetic Theory of Viscosity, Thermal Conduction and Diffusion in Gases

现货英文版 The Mathematical Theory of Non-uniform Gases: 不稳定气体的数学理论 An Account of the Kinetic Theory of Viscosity, Thermal Conduction and Diffusion in Gases ¥300.00

现货英文版 Thermodynamics, Kinetic Theory, and Statistical Thermodynamics

现货英文版 Thermodynamics, Kinetic Theory, and Statistical Thermodynamics ¥300.00

现货英文版 Hilbert Modular Forms

现货英文版 Hilbert Modular Forms ¥600.00

现货英文原版 Doctor Zhivago 日瓦戈医生三面刷金，真皮封面

现货英文原版 Doctor Zhivago 日瓦戈医生三面刷金，真皮封面 ¥700.00

现货英文版 Partial Differential Equations 偏微分方程第2版

现货英文版 Partial Differential Equations 偏微分方程第2版 ¥1200.00

商品详情

品相描述：九五品: 新书，邮寄过程中可能有轻微磕碰，图片实拍。

商品描述: A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems-and of programming languages from a type-theoretic perspective-has important applications in software engineering, language design, high-performance compilers, and security. This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material. The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.

— 没有更多了 —

店铺评价

消息首页搜索

以下为对购买帮助不大的评价

此功能需要访问孔网APP才能使用

暂时不用

打开孔网APP