Computing Books written by John C. Reynolds
The following is a list of Computing Books written by John C. Reynolds in the Centre for Computing History collection. It is not an exhaustive list of and other books may have been published. If you have a book that you would like to donate to our collection, please view our donations page.There are 1 Computing Books written by John C. Reynolds in our collection :
| Order By : Title - Release Date - Publisher |
Date: 1935
The Craft of Programming
Major Advances in both the semantics of programming languages and in the methodology of program design and verification have been made in recent years. this advanced textbook draws together these two aspects of programming to provide a sold mathematical foundation for the techniques of proving partial program correctness.
Publisher: Prentice/Hall International
Author: John C. Reynolds
Platform:
