|Listed in category:
This item is out of stock.
Postage and deliveryClick "see details" for additional shipping and returns information.
Have one to sell?

The Science of Programming; Monographs in- 9780387906416, David Gries, hardcover

US $6.57
ApproximatelyRM 27.66
Condition:
Good
Postage:
Free Standard Shipping.
Located in: Arlington, Texas, United States
Delivery:
Estimated between Thu, 26 Sep and Tue, 1 Oct to 43230
Delivery time is estimated using our proprietary method which is based on the buyer's proximity to the item location, the postage service selected, the seller's postage history, and other factors. Delivery times may vary, especially during peak periods.
Returns:
30 days return. Buyer pays for return shipping.
Coverage:
Read item description or contact seller for details. See all detailsSee all details on coverage
(Not eligible for eBay purchase protection programmes)

Shop with confidence

eBay Premium Service
Trusted seller, fast shipping, and easy returns. Learn more- Top Rated Plus - opens in a new window or tab
Seller assumes all responsibility for this listing.
eBay item number:285816492522
Last updated on Sep 16, 2024 16:45:10 MYTView all revisionsView all revisions

Item specifics

Condition
Good: A book that has been read but is in good condition. Very minimal damage to the cover including ...
Book Title
The Science of Programming; Monographs in- 9780387906416, David G
Artist
Gries, David
ISBN
9780387906416
Publication Year
1987
Series
Monographs in Computer Science Ser.
Type
Textbook
Format
Hardcover
Language
English
Subject Area
Computers
Publication Name
Science of Programming
Author
David Gries
Publisher
Springer
Subject
Programming Languages / General, Programming / General, Software Development & Engineering / General
Item Weight
25 Oz
Number of Pages
Xv, 388 Pages

About this product

Product Identifiers

Publisher
Springer
ISBN-10
038790641X
ISBN-13
9780387906416
eBay Product ID (ePID)
15038288785

Product Key Features

Number of Pages
Xv, 388 Pages
Publication Name
Science of Programming
Language
English
Publication Year
1987
Subject
Programming Languages / General, Programming / General, Software Development & Engineering / General
Type
Textbook
Author
David Gries
Subject Area
Computers
Series
Monographs in Computer Science Ser.
Format
Hardcover

Dimensions

Item Weight
25 Oz

Additional Product Features

Intended Audience
Scholarly & Professional
Dewey Edition
21
TitleLeading
The
Number of Volumes
1 vol.
Illustrated
Yes
Dewey Decimal
005.1
Synopsis
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.
LC Classification Number
QA76.758QA76.6-76.6

Item description from the seller