X-MAN System Modelling and Verification Through Automated Theorem Proving /
Material type:
TextPublisher: Islamabad : MCS - NUST, 2017Description: 66 p. ; 30cmSubject(s): Software Engineering-X-MAN System Modelling and VerificationDDC classification: 004
| Item type | Current location | Home library | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Thesis
|
Central Library (CL) | Central Library (CL) | 004 MCS (Browse shelf) | Available | CL-T-1067 | ||
|
Thesis
|
Central Library (CL) | Central Library (CL) | 004 MCS (Browse shelf) | Available | CL-T-998 |
Total holds: 0
There are no comments on this title.