Custom cover image
Custom cover image

Formal Methods in Computer Science

By: Contributor(s): Material type: TextTextLanguage: English Series: Textbooks in MathematicsPublication details: Boca Raton, Fl : CRC Press, c2020Description: XVII, 294 p. : illISBN:
  • 9781498775328
Subject(s): DDC classification:
  • 004.0151 WAN
Online resources:
Holdings
Item type Current library Collection Shelving location Call number Copy number Status Date due Barcode
Lending Collection Lending Collection Circulation Section Department of Computer Science and Information Technology Circulation Section 004.0151 WAN 2019-2020 Checked out 24/10/2024 96539