AIOU Library

Your cart is empty.
Wang, Jiacun

Formal methods in computer science Jiacun Wang and William Tepfenhart - Boca Raton: CRC Press, 2020. - xvii, 294 p. - textbooks in mathematics .


Eng

9781498775328


Formal methods (Computer science)

004.0151 / WAF

Copyright © 2023, All rights reserved
AIOU, Islamabad Pakistan.
Ph#: | 051-9250040, 051-9571682, 051-9571695 Fax: | 051-9250146 Email| documentdelivery@aiou.edu.pk Web| ”Central Library”