The Science of Programming

By: David Gries

Write A Review

Paperback | 1 April 1989

At a Glance

Paperback
388 Pages

Dimensions(cm)
23.5 x 15.88 x 1.91

Paperback

$139.00

or 4 interest-free payments of $34.75 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Programming & Scripting Languages Reference, Information & Interdisciplinary Subjects Encyclopaedias & Reference Works Reference Works Engineering & Technology Energy Technology & Engineering Electrical Engineering Software Engineering Compilers & Interpreters

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
Table of Contents provided by Publisher. All Rights Reserved.

The Science of Programming

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Software Engineering

Open for Business

Harnessing the Power of Open-Source in the Corporate World

Open for Business

Harnessing the Power of Open-Source in the Corporate World

Generative Artificial Intelligence

Technology and Applications

The Essence of Software Engineering

Semantics With Applications

Advanced Topics in Computer Science

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Fundamentals of Software Architecture

A Modern Engineering Approach

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Hacking For Dummies

For Dummies (Computer/Tech)

Design Patterns

Elements of Reusable Object-Oriented Software

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

Designing Data-Intensive Applications

Big Ideas Behind Reliable, Scalable, and Maintainable Systems

User Story Mapping

Discover the Whote Story, Build the Right Product

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Object-Oriented and Classical Software Engineering - Global Edition

8th Edition

Git : Pocket Guide

A Working Introduction

Clean Architecture

A Craftsman's Guide to Software Structure and Design

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

The Staff Engineer's Path

A Guide For Individual Contributors Navigating Growth and Change

Developing Graphics Frameworks with Java and OpenGL

The Engineering Leader

Strategies for Scaling Teams and Yourself

Learning Modern C++ for Finance

Foundations for Quantitative Programming

This product is categorised by