Items related to The Science of Programming (Monographs in Computer...
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.
"synopsis" may belong to another edition of this title.
- PublisherSpringer-Verlag
- Publication date1981
- ISBN 10 038790641X
- ISBN 13 9780387906416
- BindingHardcover
- LanguageEnglish
- Number of pages388
- Rating
Other Popular Editions of the Same Title
Search results for The Science of Programming (Monographs in Computer...
Stock Image
The Science of Programming (Monographs in Computer Science)
Seller: HPB Inc., Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_435422680
Quantity: 1 available
Stock Image
The Science of Programming (Monographs in Computer Science)
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_433596995
Quantity: 1 available
Stock Image
The Science of Programming
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.61. Seller Inventory # G038790641XI3N10
Quantity: 1 available
Stock Image
The Science of Programming
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. No Jacket. Missing dust jacket; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.61. Seller Inventory # G038790641XI3N01
Quantity: 1 available
Stock Image
The Science of Programming
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.61. Seller Inventory # G038790641XI4N00
Quantity: 1 available
Stock Image
The Science of Programming
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.61. Seller Inventory # G038790641XI3N00
Quantity: 1 available
Stock Image
The Science of Programming
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.61. Seller Inventory # G038790641XI3N00
Quantity: 1 available
Stock Image
The Science of Programming Mon
Seller: SecondSale, Montgomery, IL, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Item in good condition and has highlighting/writing on text. Used texts may not contain supplemental items such as CDs, info-trac etc. Seller Inventory # 00078384007
Quantity: 1 available
Stock Image
The Science of Programming (Monographs in Computer Science)
Seller: The Maryland Book Bank, Baltimore, MD, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: Very Good. Used - Very Good. Seller Inventory # 2-R-1-0679
Quantity: 1 available
Stock Image
The Science of Programming
Seller: Better World Books: West, Reno, NV, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Used book that is in clean, average condition without any missing pages. Seller Inventory # GRP93002878
Quantity: 1 available