Description - Proving Programmes Correct by Robert B. Anderson

The title of this book is Proving Programmes Correct and is written by author Robert B. Anderson. The book Proving Programmes Correct is published by John Wiley and Sons Ltd. The ISBN of this book is 9780471033950 and the format is Paperback / softback. The publisher has not provided a book description for Proving Programmes Correct by Robert B. Anderson.