Z : an introduction to formal methods / Antoni Diller.
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 047192489X
- 9780471924890 :
- 005.133
Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
General Lending | Carlow Campus Library Store - Ask Library Staff | 005.133 (Browse shelf(Opens below)) | 1 | Available | 40224 |
20.00