Search Results

  • Showing 1 - 1 results of 1
Refine Results
  1. 1

    Proving programs correct / by Anderson, Robert Brockett, 1941-

    ISBN: 0471033952
    Published: New York : John Wiley, 1979

    Get full text
    Book