Formal Methods in Computer Science

By:

Contributor(s):

Material type: Text

TextLanguage: English Series: Textbooks in MathematicsPublication details: Boca Raton, Fl : CRC Press, c2020Description: XVII, 294 p. : illISBN:

Subject(s):

DDC classification:

Online resources:

Holdings
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