Science of Programming

ISBN-10: 0387964800

ISBN-13: 9780387964805

Edition: 1981 (Reprint)

Authors: David Gries

List price: $99.00 Buy it from $34.69
This item qualifies for FREE shipping

*A minimum purchase of $35 is required. Shipping is provided via FedEx SmartPost® and FedEx Express Saver®. Average delivery time is 1 – 5 business days, but is not guaranteed in that timeframe. Also allow 1 - 2 days for processing. Free shipping is eligible only in the continental United States and excludes Hawaii, Alaska and Puerto Rico. FedEx service marks used by permission."Marketplace" orders are not eligible for free or discounted shipping.

30 day, 100% satisfaction guarantee

If an item you ordered from TextbookRush does not meet your expectations due to an error on our part, simply fill out a return request and then return it by mail within 30 days of ordering it for a full refund of item cost.

Learn more about our returns policy

Description:

New Starting from $101.66
what's this?
Rush Rewards U
Members Receive:
coins
coins
You have reached 400 XP and carrot coins. That is the daily max!
Study Briefs

Limited time offer: Get the first one free! (?)

All the information you need in one place! Each Study Brief is a summary of one specific subject; facts, figures, and explanations to help you learn faster.

Add to cart
Study Briefs
Periodic Table Online content $4.95 $1.99
Add to cart
Study Briefs
Periodic Table Online content $4.95 $1.99
Add to cart
Study Briefs
SQL Online content $4.95 $1.99
Add to cart
Study Briefs
MS Excel® 2010 Online content $4.95 $1.99
Customers also bought
Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading

Book details

List price: $99.00
Copyright year: 1981
Publisher: Springer
Publication date: 4/21/1989
Binding: Paperback
Pages: 388
Size: 6.25" wide x 9.25" long x 0.75" tall
Weight: 1.188
Language: English

Why Use Logic? Why Prove Programs Correct?
Propositions
Reasoning Using Equivalence Transformations
A Natural Deduction System
Predicates
Notations and Conventions for Arrays
Using Assertions to Document Programs
The Semantics of a Small Language
The Predicate Transformer wp
The Commands Skip, Abort and Composition
The Assignment Command
The Alternative Command
Procedure Call
The Iterative Command
Procedure Call
The Development of Programs
Introduction
Programming as a Goal-Oriented Activity
Developing Loops From Invariants and Bounds
Developing Invariants
Notes on Bound Functions
Using Iteration Instead of Recursion
Efficiency Considerations
Two Larger Examples of Program Development
Inverting Programs
Notes on Documentation
Historical
Notes
Appendix 1-4
Answers to Exercises
References
Index
Free shipping on orders over $35*

*A minimum purchase of $35 is required. Shipping is provided via FedEx SmartPost® and FedEx Express Saver®. Average delivery time is 1 – 5 business days, but is not guaranteed in that timeframe. Also allow 1 - 2 days for processing. Free shipping is eligible only in the continental United States and excludes Hawaii, Alaska and Puerto Rico. FedEx service marks used by permission."Marketplace" orders are not eligible for free or discounted shipping.

Learn more about the TextbookRush Marketplace.

×