My Wish Lists Login / Join

Monographs in Computer Science

By: David Gries

Write A Review

Paperback | 1 April 1989

At a Glance

Paperback
388 Pages

Dimensions(cm)
23.39 x 15.6 x 2.03

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 $89.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.

Monographs in Computer Science

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Compilers & Interpreters

C# Programming in easy steps

Master C# fundamentals!

FORTRAN Programming in Easy Steps

In Easy Steps

Applied Mathematics with F#

Bad Programming Practices 101

Become a Better Coder by Learning How (Not) to Program

Programming Languages and Systems

35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11â"16, 2026, Proceedings, Part II

Programming Languages and Systems

35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11â"16, 2026, Proceedings, Part I

Modern Compiler Design

NUnit Pocket Reference

Pocket Reference (O'Reilly)

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-solving Approach

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-solving Approach

Advanced Asic Chip Synthesis : Using Synopsis Design Compiler and Primetime

Compilers: Pearson New International Edition 2ed

Principles, Techniques, and Tools

Practical Marko

Progressive HTML Rendering and Micro Front-Ends

Compilers

A Practical Approach

C++ Programming in easy steps: 6th Edition

Updated for the GNU C Compiler and Visual Studio 2022

LLVM Code Generation

A deep dive into compiler backend development

Compiler Design Using Java(R)

An Object-Oriented Approach

Compiler Design Using Kotlin(TM)

An Object-Oriented Approach

SQL Data Analysis Programming for Beginners

How to Learn SQL Data Analysis in Less Than a Week. The Ultimate Step-by-Step Complete Course from Novice to Advanced Programmer

Crafting Interpreters

C# Programming for Beginners

How to Learn C# in Less Than a Week. The Ultimate Step-by-Step Complete Course from Novice to Advanced Programmer

C++ Programming for Beginners

How to Learn C++ in Less Than a Week. The Ultimate Step-by-Step Complete Course from Novice to Advanced Programmer

HTML Programming for Beginners

How to Learn HTML in Less Than a Week. The Ultimate Step-by-Step Complete Course from Novice to Advanced Programmer

JavaScript Programming for Beginners

How to Learn JavaScript in Less Than a Week. The Ultimate Step-by-Step Complete Course from Novice to Advanced Programmer

This product is categorised by