FORMAL METHODS OF PROGRAM VERIFICATION AND SPECIFICATION
By: BERG.H.K.
Material type:
BookPublisher: New Jersey Prentice Hall 1982Description: 24X16.DDC classification: 621.3819642 B493
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
CENTRAL LIBRARY | 621.3819642 B493 (Browse shelf) | Available | 042743 |
There are no comments for this item.