A rescued public library · 1,230 legally free books

FreeTechBooks.org

Formal Methods

The Craft of Programming

  • 1981
  • 434 pages

Opens the author, publisher or archive page. This title is hosted externally.

Cover of The Craft of Programming

A textbook on programming with emphasis on specification and proof of programs. Includes the results of author's own research.

About this book

John C. Reynolds wrote:Do not reproduce these documents for commercial purposes.

Bibliographic record recovered from the original FreeTechBooks listing. View archived source.

About the author