Formal Methods in Computer Science
Material type: TextLanguage: English Series: Textbooks in MathematicsPublication details: Boca Raton, Fl : CRC Press, c2020Description: XVII, 294 p. : illISBN:- 9781498775328
- 004.0151 WAN
Item type | Current library | Collection | Shelving location | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|---|
Lending Collection | Circulation Section | Department of Computer Science and Information Technology | Circulation Section | 004.0151 WAN | 2019-2020 | Checked out | 24/12/2024 | 96539 |