Image from Amazon.com
A programming approach to formal methods / Chris Casey.
Material type:
TextSeries: The McGraw-Hill international series in software engineeringPublication details: London ; New York : McGraw-Hill, c1994.Description: xii, 262 p. : ill. ; 25 cmISBN: - 007707968X
- 005.131 CAS 1994
| Item type | Current library | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|---|
Open Collection
|
FIRST CITY UNIVERSITY COLLEGE | FIRST CITY UNIVERSITY COLLEGE | Open Collection | FCUC Library | 005.131 CAS (Browse shelf(Opens below)) | Available | 00009779 |
Total holds: 0
Includes bibliographical references (p. 257) and index.