The Symbolic execution of software David Coward and Darrel Ince.
Material type:
TextLanguage: English Series: (Computer science: research and practice)Publication details: Madras Chapman and Hall 1995Description: vi, 155pISBN: - 412583402
- 005.1 C67S
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
| General Books | HMS Central Library | General Collection | 005.1 C67S (Browse shelf(Opens below)) | Available | 104172 |
Browsing HMS Central Library shelves, Collection: General Collection Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | No cover image available | No cover image available | |||||
| 005.1 C35C CAD/CAM/CAE | 005.1 C35C CAD/CAM/CAE | 005.1 C35C CAD/CAM/CAE | 005.1 C67S The Symbolic execution of software | 005.1 F13S Software engineering concepts | 005.1 F13S Software engineering concepts | 005.1 F21L Learning computer programming it's not about languages |
There are no comments on this title.
Log in to your account to post a comment.
