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 |
Browsing Kumaraguru College of Technology Shelves Close shelf browser
|
|
|
|
||
| 681.3.42 AND Proving Programs Correct | 681.3.42 BOY Programming Under Mach | 681.3.42 BRA MOTIF Programming: The Essentials ... and More | 681.3.42 CLA File Management Techniques |
Proving Programs Correct
There are no comments for this item.