A programming approach to formal methods / Chris Casey.
By: Casey, Chris.
Material type:![materialTypeLabel](/opac-tmpl/lib/famfamfam/BK.png)
Item type | Current location | Home library | Collection | Shelving location | Call number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|---|---|---|---|
![]() |
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.