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 Book Co., 1994Description: xii, 262 p. : ill. ; 25 cmISBN:- 007707968X :
- 005.1015113 23
- QA76.6 .C383 1994
Item type | Current library | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Books | Tan Tao University General Stacks | Reference | 005.1015113 (Browse shelf(Opens below)) | Available | F-2023-0454 |
Browsing Tan Tao University shelves, Shelving location: General Stacks, Collection: Reference Close shelf browser (Hides shelf browser)
Includes bibliographical references (p. 257) and index.
There are no comments on this title.