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
Browsing MULTIMEDIA UNIVERSITY LIBRARY Shelves Close shelf browser
|
|
|
|
|
|
|
||
| QA76.76 .D45 2004 Operating systems/ | QA76.76 .D45 2004 Operating systems/ | QA76.76.D47A42 1990 Software design and prototyping using Me Too | QA76.76.D47B33 1987 The spine of software : designing provably correct software, theory and practice or a mathemat. introd. to the semantics of computer programs | QA 76.76.D47B75 Software system development : a gentle introduction | QA 76.76.D47B75 2006 Software system development : a gentle introduction | QA 76.76.D47B75 2006 Software system development : a gentle introduction |
There are no comments for this item.