Concepts, Techniques, and Models of Computer Programming
Peter Van Roy
Used - Hardcover
Condition: Used - Very good
Ships from Germany to U.S.A.
Quantity: 1 available
Add to basketCondition: Used - Very good
Quantity: 1 available
Add to basketGut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
Seller Inventory # M00262220695-V
Teaching the science and the technology of programming as a unified discipline that shows the deep relationships between programming paradigms.
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.
"About this title" may belong to another edition of this title.
1. Scope
For all orders via our store on the AbeBooks Marketplace, the following terms and conditions apply. Unless otherwise agreed, the inclusion of any terms and conditions of your own used by you is contradicted.
2. contracting party, conclusion of contract, correction options
The purchase contract is concluded with momox SE.
The subject of the contract is the sale of goods.
If an article is posted by us on AbeBooks, the activation of the offer page on AbeBooks is the binding offer to conclu...
Right of withdrawal
You have the right to cancel this contract within fourteen days without giving any reason. The withdrawal period is fourteen days from the day on which you or a third party named by you, who is not the carrier, have taken or has taken possession of the last goods. In order to exercise your right of withdrawal, you must inform momox SE, Schreiberhauer Straße 30, 10317 Berlin, telephone number: 0049 (0) 30/488 288 200, e-mail: service@momox-shop.uk, by means of a clear declaration (e.g. a letter sent by post, fax or e-mail) of your decision to withdraw from this contract. You can use the model withdrawal form for this purpose, but it is not mandatory. In order to comply with the withdrawal period, it is sufficient that you send the notification of the exercise of the right of withdrawal before the expiry of the withdrawal period.
Consequences of the revocation
If you revoke this contract, we shall reimburse you for all payments we have received from you, including delivery costs (with the exception of additional costs resulting from the fact that you have chosen a type of delivery other than the most favorable standard delivery offered by us), without undue delay and no later than within fourteen days from the day on which we received the notification of your revocation of this contract. For this repayment, we will use the same means of payment that you used for the original transaction, unless expressly agreed otherwise with you; in no case will you be charged any fees because of this repayment. We may refuse repayment until we have received the goods back or until you have provided proof that you have returned the goods, whichever is the earlier. You must return the goods immediately and in any case no later than within fourteen days from the day on which you notify us of the revocation of this contract to us or to return the goods:
medimops.de Retoure,
Am alten Flughafen 100,
D-04356 Leipzig
Germany
The deadline is met if you send the goods before the expiry of fourteen days. You shall bear the direct costs of returning the goods. You will only have to pay for any loss in value of the goods if this loss in value is due to handling of the goods that is not necessary for checking the condition, properties and functioning of the goods.
| Order quantity | 10 to 20 business days | 10 to 20 business days |
|---|---|---|
| First item | £ 8.65 | £ 12.97 |
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.