All-purpose | Everything Else

The Science of Programming: SCIENCE OF PROGRAMMING

by David Gries

2020-12-31 21:05:38

Compare Price
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 ... Read more
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. Less

Book Details

File size9.25 X 6.1 X 0 in
Print pages388
PublisherSpringer-Verlag/Sci-Tech/Trade
Publication date April 21, 1989
LanguageEnglish
ISBN9780387964805
autor-image
David Gries
Author
...

Compare Prices

Store Availability Book Format Condition Price
BetterWorld.com - New, Used, Rare Books & Textbooks In Stock Buy USD 18.50
Indigo Books & Music In Stock Paperback Paperback Buy CAD 104.58
BetterWorld.com - New, Used, Rare Books & TextbooksIn Stock
Format
Condition
Buy USD 18.50
Indigo Books & MusicIn Stock
Format
Paperback
Condition
Paperback
Buy CAD 104.58
Available Discount
No Discount available

Related Books

View All
Falter: Has the Human Game Begun to Play Itself Out?
☆ ☆ ☆ ☆ ☆
Secrets Between Us: An absolutely gripping psychological thriller
☆ ☆ ☆ ☆ ☆
The Book Club
☆ ☆ ☆ ☆ ☆
American Moonshot: John F. Kennedy and the Great Space Race
☆ ☆ ☆ ☆ ☆
Going to School
☆ ☆ ☆ ☆ ☆
The Silent Woman (Cat Carlisle, Book 1)
☆ ☆ ☆ ☆ ☆
Diary of an Awesome Friendly Kid: Rowley Jefferson's Journal
☆ ☆ ☆ ☆ ☆
There Was an Old Lady Who Swallowed a Chick!
☆ ☆ ☆ ☆ ☆
Good Night, Little Blue Truck
☆ ☆ ☆ ☆ ☆
Life Will Be the Death of Me: ...And You Too!
☆ ☆ ☆ ☆ ☆
Commander in Cheat: How Golf Explains Trump
☆ ☆ ☆ ☆ ☆
Hurricane Season
☆ ☆ ☆ ☆ ☆
House of Shadows: An Enthralling Historical Mystery
☆ ☆ ☆ ☆ ☆
Clean & Lean: 30 Days, 30 Foods, a New You!
☆ ☆ ☆ ☆ ☆
Trillion Dollar Coach: The Leadership Playbook of Silicon Valley's Bill Campbell
☆ ☆ ☆ ☆ ☆
Made for Me
☆ ☆ ☆ ☆ ☆
The Wonderful Things You Will Be
☆ ☆ ☆ ☆ ☆
Twinkle, Twinkle, Little Star (Indestructibles Series)
☆ ☆ ☆ ☆ ☆
We Are Not Friends (You Are Not Small)
☆ ☆ ☆ ☆ ☆
Row, Row, Row Your Boat (Indestructibles Series)
☆ ☆ ☆ ☆ ☆
Feed Your Best Friend Better: Easy, Nutritious Meals and Treats for Dogs
☆ ☆ ☆ ☆ ☆
The Secret Wife: A captivating story of romance, passion and mystery
☆ ☆ ☆ ☆ ☆
The Pout-Pout Fish
☆ ☆ ☆ ☆ ☆
You Be You: Detox Your Life, Crush Your Limitations, and Own Your Awesome
☆ ☆ ☆ ☆ ☆
Can't Make This Stuff Up!: Finding the Upside to Life's Downs
☆ ☆ ☆ ☆ ☆

Join us and get access to all
your favourite books

Sign up for free and start exploring thousands of eBooks today.

Sign up for free

Stay in touch.

© 2026 AMPLE READS