NUST Institutions Library Catalogue catalog

Normal view MARC view ISBD view

Ahmad Waqar

Formal Dependability analysis using higher-order-logic theorem proving/ Waqar Ahmad - Islamabad NUST-SEECS 2017 - 181p. CD Includes

Dewey Class. No.: 200

Print
Suggest for purchase
Send to device
Save record
More searches
- Search for this title in:
- NUST Institutional Repository(DSpace)