A programming approach to formal methods / Chris Casey.
By: Casey, Chris.
Material type: BookSeries: McGraw-Hill international series in software engineering. Publisher: London : McGraw-Hill, c1994Description: xii, 262 p. ; 25 cm.ISBN: 007707968X.Subject(s): Computer software | Programming (Electronic computers)Item type | Current location | Home library | Collection | Shelving location | Call number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|---|---|---|---|
2 Hour Special Reserve | Matheson Library | Matheson Library | Special Reserve | Special Reserve | SR 005.3 C338 (Browse shelf) | Available | Recat. | 137784 |
Includes index.
Bibliography: p. 257.
Recommended text : *MA469 (Maths & Computer Science)
There are no comments for this item.