Concepts, Techniques, and Models of Computer Programming

Concepts, Techniques, and Models of Computer Programming pdf epub mobi txt 电子书 下载 2025

Peter Van Roy is Professor in the Department of Computing Science and Engineering at Université catholique de Louvain, at Louvain-la-Neuve, Belgium.

Seif Haridi is Professor of Computer Systems in the Department of Microelectronics and Information Technology at the Royal Institute of Technology, Sweden, and Chief Scientific Advisor of the Swedish Institute of Computer Science.

出版者:The MIT Press
作者:Peter Van Roy
出品人:
页数:936
译者:
出版时间:2004-2-20
价格:USD 78.00
装帧:Hardcover
isbn号码:9780262220699
丛书系列:
图书标签:
  • 计算机科学 
  • programming 
  • 编程 
  • 计算机 
  • 程序设计 
  • 经典 
  • Programming 
  • cs 
  •  
承接 住宅 自建房 室内改造 装修设计 免费咨询 QQ:624617358 一级注册建筑师 亲自为您回答、经验丰富,价格亲民。无论项目大小,都全力服务。期待合作,欢迎咨询!QQ:624617358
想要找书就要到 小哈图书下载中心
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

This innovative text presents computer programming as a unified discipline in a way that is both practical and scientifically sound. The book focuses on techniques of lasting value and explains them precisely in terms of a simple abstract machine. The book presents all major programming paradigms in a uniform framework that shows their deep relationships and how and where to use them together. After an introduction to programming concepts, the book presents both well-known and lesser-known computation models ("programming paradigms"). Each model has its own set of techniques and each is included on the basis of its usefulness in practice. The general models include declarative programming, declarative concurrency, message-passing concurrency, explicit state, object-oriented programming, shared-state concurrency, and relational programming. Specialized models include graphical user interface programming, distributed programming, and constraint programming. Each model is based on its kernel language--a simple core language that consists of a small number of programmer- significant elements. The kernel languages are introduced progressively, adding concepts one by one, thus showing the deep relationships between different models. The kernel languages are defined precisely in terms of a simple abstract machine. Because a wide variety of languages and programming paradigms can be modeled by a small set of closely related kernel languages, this approach allows programmer and student to grasp the underlying unity of programming. The book has many program fragments and exercises, all of which can be run on the Mozart Programming System, an Open Source software package that features an interactive incremental development environment.

具体描述

读后感

评分

这是一本和SICP有相似内容的书,粗略的浏览一下,书中设计到多种计算模型, 而这些计算模型都仅仅在SICP中作为介绍性的进行阐述,而在这本书上更具备体系化,我们可以将其称之为: 编程范式(programming paradigm)的东西。

评分

托马斯·库恩在「科学革命的结构」中提到一个非常让人惊讶的观点:常规科学不过是致力于求解当前的某一知识领域中留下来的谜题,并非以创新为目标;它的目的不在事实或理论的新颖性。那一个不以创新为日常工作目标的领域是怎么做到持续的突破更新迭代的呢?答案也正在于这种工...  

评分

托马斯·库恩在「科学革命的结构」中提到一个非常让人惊讶的观点:常规科学不过是致力于求解当前的某一知识领域中留下来的谜题,并非以创新为目标;它的目的不在事实或理论的新颖性。那一个不以创新为日常工作目标的领域是怎么做到持续的突破更新迭代的呢?答案也正在于这种工...  

评分

这是一本和SICP有相似内容的书,粗略的浏览一下,书中设计到多种计算模型, 而这些计算模型都仅仅在SICP中作为介绍性的进行阐述,而在这本书上更具备体系化,我们可以将其称之为: 编程范式(programming paradigm)的东西。

评分

这是一本和SICP有相似内容的书,粗略的浏览一下,书中设计到多种计算模型, 而这些计算模型都仅仅在SICP中作为介绍性的进行阐述,而在这本书上更具备体系化,我们可以将其称之为: 编程范式(programming paradigm)的东西。

用户评价

评分

看到第9章了,搁置之,后面那些有空再看吧,因为兴趣不大了。与其勉强看完,不如暂别

评分

看到第9章了,搁置之,后面那些有空再看吧,因为兴趣不大了。与其勉强看完,不如暂别

评分

说啥呢,看不懂

评分

说啥呢,看不懂

评分

外行用来学习的,能理解逻辑,具体的细节没法深究了

本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

© 2025 qciss.net All Rights Reserved. 小哈图书下载中心 版权所有