The Science of Programming; Monographs in- 9780387906416, David Gries, hardcover
Objectstaat:
Verzendkosten:
Bevindt zich in: Arlington, Texas, Verenigde Staten
Levering:
Geschatte levering tussen vr, 21 jun en do, 27 jun tot 43230
Retourbeleid:
30 dagen om te retourneren. Koper betaalt voor retourzending. Details bekijken- voor meer informatie over retourzendingen
Betalingen:
Winkel met vertrouwen
Verkopergegevens
- 99,1% positive feedback
Ingeschreven als zakelijke verkoper
De verkoper neemt de volledige verantwoordelijkheid voor deze aanbieding.
eBay-objectnummer:285816492522
Specificaties
- Objectstaat
- Book Title
- The Science of Programming (Monographs in Computer Science)
- ISBN
- 9780387906416
- Publication Year
- 1987
- Series
- Monographs in Computer Science Ser.
- Type
- Textbook
- Format
- Hardcover
- Language
- English
- Publication Name
- Science of Programming
- Publisher
- Springer
- Item Weight
- 25 Oz
- Number of Pages
- Xv, 388 Pages
Over dit product
Product Information
This is the very first book to discuss the theory and principles of computer programming on the basis of the idea that a proof of correctness and a program should be developed hand in hand. It is built around the method first proposed by Dijkstra in his monograph The Discipline of Programming (1976), involving a "calculus for the derivation of programs." Directing his materials to the computer programmer with at least one year of experience, Gries presents explicit principles behind program development, and then leads the reader through example programs using those principles. Propositions and predicate calculus are presented as a took for the programmer, rather than simply an object of study. The reader should come away with a fresh outlook on programming theory and practice, and the assurance to develop correct programs effectively.
Product Identifiers
Publisher
Springer
ISBN-10
038790641x
ISBN-13
9780387906416
eBay Product ID (ePID)
15038288785
Product Key Features
Publication Name
Science of Programming
Format
Hardcover
Language
English
Publication Year
1987
Series
Monographs in Computer Science Ser.
Type
Textbook
Number of Pages
Xv, 388 Pages
Dimensions
Item Weight
25 Oz
Additional Product Features
Number of Volumes
1 Vol.
Lc Classification Number
Qa76.758qa76.6-76.6
Copyright Date
1981
Target Audience
Scholarly & Professional
Topic
Programming Languages / General, Programming / General, Software Development & Engineering / General
Dewey Decimal
005.1
Dewey Edition
21
Illustrated
Yes
Genre
Computers
Objectbeschrijving van de verkoper
De verkoper neemt de volledige verantwoordelijkheid voor deze aanbieding.
eBay-objectnummer:285816492522
Verzending en verwerking
Objectlocatie:
Arlington, Texas, Verenigde Staten
Wordt verzonden naar:
Afghanistan, Albanië, Algerije, Andorra, Angola, Anguilla, Antigua en Barbuda, Argentinië, Armenië, Aruba, Australië, Azerbeidzjan, Bahama's, Bahrein, Bangladesh, België, Belize, Benin, Bermuda, Bhutan, Bolivia, Bosnië en Herzegovina, Botswana, Brazilië, Brunei Darussalam, Bulgarije, Burkina Faso, Burundi, Cambodja, Canada, Centraal-Afrikaanse Republiek, Chili, China, Colombia, Costa Rica, Cyprus, Democratische Republiek Congo, Denemarken, Djibouti, Dominicaanse Republiek, Duitsland, Ecuador, Egypte, El Salvador, Equatoriaal-Guinea, Eritrea, Estland, Ethiopië, Fiji, Filipijnen, Finland, Frankrijk, Gabon, Gambia, Georgië, Ghana, Gibraltar, Grenada, Griekenland, Groenland, Guatemala, Guinee, Guinee-Bissau, Guyana, Haïti, Honduras, Hongarije, Hongkong, IJsland, Ierland, India, Indonesië, Israël, Italië, Ivoorkust, Jamaica, Japan, Jemen, Jordanië, Kaaimaneilanden, Kaapverdische eilanden, Kameroen, Kazachstan, Kenia, Kirgizië, Kiribati, Koeweit, Kroatië, Laos, Lesotho, Letland, Libanon, Liberia, Liechtenstein, Litouwen, Luxemburg, Macau, Macedonië, Madagaskar, Malawi, Maldiven, Maleisië, Mali, Malta, Marokko, Mauritanië, Mauritius, Mexico, Moldavië, Monaco, Mongolië, Montenegro, Montserrat, Mozambique, Namibië, Nauru, Nederland, Nepal, Nicaragua, Nieuw-Zeeland, Niger, Nigeria, Noorwegen, Oeganda, Oezbekistan, Oman, Oostenrijk, Pakistan, Panama, Papoea-Nieuw-Guinea, Paraguay, Peru, Polen, Portugal, Qatar, Republiek Congo, Roemenië, Rwanda, Saint Kitts en Nevis, Saint Lucia, Saint Vincent en de Grenadines, San Marino, Saudi-Arabië, Senegal, Servië, Seychellen, Sierra Leone, Singapore, Slovenië, Slowakije, Solomoneilanden, Spanje, Sri Lanka, Suriname, Swaziland, Tadzjikistan, Taiwan, Tanzania, Thailand, Togo, Tonga, Trinidad en Tobago, Tsjaad, Tsjechië, Tunesië, Turkije, Turkmenistan, Turks- en Caicoseilanden, Uruguay, Vanuatu, Vaticaanstad, Verenigd Koninkrijk, Verenigde Arabische Emiraten, Verenigde Staten, Vietnam, Wallis en Futuna, Westelijk Samoa, Zambia, Zimbabwe, Zuid-Afrika, Zuid-Korea, Zweden, Zwitserland
Uitgesloten:
Barbados, Comoren, Falklandeilanden (Islas Malvinas), Frans-Guyana, Frans-Polynesië, Guadeloupe, Libië, Martinique, Mayotte, Nieuw-Caledonië, Oekraïne, Russische Federatie, Réunion, Sint-Helena, Somalië, Venezuela, Westelijke Sahara
| Verzending en verwerking | Tot | Service | Levering*Zie opmerkingen over levering |
|---|---|---|---|
| Gratis verzending | Verenigde Staten | Standard Shipping | Geschatte levering tussen vr, 21 jun en do, 27 jun tot 43230 |
| US $1,95 (ongeveer EUR 1,80) | Verenigde Staten | Expedited Shipping | Geschatte levering tussen vr, 21 jun en di, 25 jun tot 43230 |
| Verwerkingstijd |
|---|
| Wordt doorgaans binnen 2 werkdagen na ontvangst van betaling verzonden. |
| Belasting |
|---|
| Verkoper berekent btw in |
Btw voor objectnr.285816492522
Btw voor objectnr.285816492522
Verkoper berekent btw op objecten die naar de volgende staten worden verzonden:
| Staat/provincie | Btw-tarief |
|---|
Retourbeleid
| Nadat u het object hebt ontvangen, kunt u contact opnemen met de verkoper binnen | Terugbetaling wordt verstrekt als | Kosten voor retourzending |
|---|---|---|
| 30 dagen | Geld terug | Koper betaalt voor retourzending |
De koper is verantwoordelijk voor de kosten van de retourzending.
| Details retourbeleid |
|---|
| Retourzendingen geaccepteerd |
Betalingsgegevens
Betalingsmethoden
Populaire rubrieken in deze winkel
Ingeschreven als zakelijke verkoper
Feedback verkoper (274.145)
5***t (220)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
The book is in great shape!! Very happy with my transaction with this seller.
m***o (235)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
So happy I found this book at such a great price and great condition. Truly a great read. This is my fourth copy! Hope to find it in hardcover someday.
l***g (1044)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
Book falling apart. Missing first chapter….