NUST Institutions Library Catalogue

Automation of software modeling and verification / Sidra Sultan.

By: Sultana, SidraContributor(s): Supervisor:Dr. Fahim ArifMaterial type: TextTextPublisher: Rawalpindi: MCS NUST, 2018Description: 121 p. : ill. ; 30,cmSubject(s): Ph. D - Thesis.Computer Software EngineeringDDC classification: 200 Online resources: Click here to access online
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current location Home library Shelving location Call number Status Date due Barcode Item holds
Soft Copy Central Library (CL)
Central Library (CL)
Thesis 200 (Browse shelf) Available CLPT-213
Total holds: 0

There are no comments on this title.

to post a comment.
© 2023 Central Library, National University of Sciences and Technology. All Rights Reserved.