Z : an introduction to formal methods / Antoni Diller.
Material type: TextPublication details: Chichester : Wiley, 1990.Description: xxi, 309p : ill. ; 25 cmISBN:- 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