Formal methods in computer science
by Wang, Jiacun; Tepfenhart, William (jt. auth).
Material type: BookSeries: textbooks in mathematics.Publisher: Boca Raton: CRC Press, 2020Description: xvii, 294 p.ISBN: 9781498775328.Subject(s): Formal methods (Computer science)Item type | Location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Books |
Central Library AIOU Islamabad
General Stacks
Allama Iqbal Open UniversityCentral Library |
004.0151 WAF (Browse shelf) | Available | 128533 |
Total holds: 0
Eng
There are no comments for this item.