The spine of software : designing provably correct software, theory and practice or a mathemat. introd. to the semantics of computer programs
By: Baber, Robert Laurence.
Material type:
BookPublisher: Chichester Wiley 1987ISBN: 0-471-91474-6.Subject(s): Computer programming | Computer software--Development
| Item type | Current location | Home library | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
GENERAL COLLECTION FOR LOAN
|
MULTIMEDIA UNIVERSITY LIBRARY | MULTIMEDIA UNIVERSITY LIBRARY | QA76.76.D47B33 1987 (Browse shelf) | Available | 107B00415 |
Total holds: 0
There are no comments for this item.