Proving Programs Correct
Full Title: | Proving Programs Correct |
---|---|
ISBN: | 0471033952 |
ISBN13: | 9780471033950 |
Authors: |
Anderson, Robert Brockett |
Full Title: | Proving Programs Correct |
---|---|
ISBN: | 0471033952 |
ISBN13: | 9780471033950 |
Authors: |
Anderson, Robert Brockett |