Skip to main content
PBS logo
 
 

Search - The Science of Programming (Monographs in Computer Science)

The Science of Programming (Monographs in Computer Science)
The Science of Programming - Monographs in Computer Science
Author: David Gries
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 ...  more »
ISBN-13: 9780387964805
ISBN-10: 0387964800
Publication Date: 4/21/1989
Pages: 366
Rating:
  ?

0 stars, based on 0 rating
Publisher: Springer
Book Type: Paperback
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres: