Proving Programs Correct
by Anderson (Robert B)
ISBN:0-471-03395-2.
Subject(s):
Proving Programs Correct
Year: 1979
| Item type | Current location | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|---|
Books
|
Kumaraguru College of Technology | 681.3.42 AND (Browse shelf) | Available | CSE | Z 10146 |
Proving Programs Correct
There are no comments for this item.