PROGRAM verification: fundamental issues in computer science / edited by Timothy R.Colburn, James H.Fetzer, Terry L.Rankin
Contributor(s): Colburn, Timothy R [Editor]
| Fetzer, James H [Editor] | Rankin, Terry L [Editor].
Publisher: Dordrecht Kluwer Academic Pub. 1993Description: xiii, 457 p.ISBN: 792319656.Subject(s): Computer programmingDDC classification: 5.1
| Item type | Current location | Collection | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Books in Stacks (S)
|
Main Library | S | 005.1 PRO (Browse shelf) | Available | 135478 |
Includes references, bibliography and index.
There are no comments for this item.