isbn.nu
search for books and compare prices
Search >
cover image
The Science of Programming
Click any price to visit the store and find more details or purchase the item. Pricing is shown for items sent to or within the United States via the least expensive method. Results are sorted by price, and shipping costs are not included.
Price
Store
Arrives
Preparing
Shipping
Half.com**
3–11 days
1–2 days
2–9 days
New buyers only, books only, one-time only: 10% off $100+ (max. $20 discount) (HALF2010BTS10PERC) (exp. 9/30)
Buy.com
3–4 days
1–2 days
2 days
Borders.com
4–11 days
1–3 days
3–8 days

Notes on prices

*
May include prices for both new and used copies of the item.
**
The price is the lowest for any condition, which may be new or used; other conditions may also be available.
Books-A-Million prices do not include the 10 percent discount for joining their Millionaire's Club.
††
Includes prices for new and used copies from resellers listed at Amazon.com.
Click to show details on same page as prices
Publisher Springer Verlag
Publication date March 1, 1987
Binding Paperback
Book category Adult Non-Fiction
ISBN-13 9780387964805
ISBN-10 0387964800
Dimensions 0.75 by 6.25 by 9.25 in.
Weight 1.20 lbs.
Original list price $99.00
Amazon.com description: Product Description: 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.

Recency: These prices were retrieved a few seconds ago. The price comparison took about 5 seconds.

Shipping costs: The shipping cost shown by default, if you choose to display it, is the cheapest available for your destination.

Sales tax inclusion: If you set up an account with isbn.nu, live in the United States, and specify your state, you can choose to show shipping fees in price results. In this case, we include the sales tax whenever we can determine that such tax is charged by a store for delivery to your state.

Orders shipped across national borders or for countries other than the U.S.: Neither the sales price nor the shipping includes VAT, GST, customs, or other applicable taxes. Please consult the store to determine exact fees.

No warranties are made express or implied about the accuracy, timeliness, merit, or value of the information provided. Information subject to change without notice. isbn.nu is not a bookseller, just an information source.

Is information about the book missing or in error? Want to know more about where our bibliographic and pricing details come from? Report corrections and find out about isbn.nu's information sources here.