Integration of ASM with event-B RODIN/ Innayatullah
Material type:
TextPublisher: Islamabad NUST-SEECS 2015Description: 66p. ill.; CD-ROMSubject(s): -- MS-Computer ScienceDDC classification: 200 Online resources: Click here to access online
| Item type | Current location | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|---|
Project Report
|
Central Library (CL) | Central Library (CL) | Thesis | 200 (Browse shelf) | Available | CL-T-6473 | |||
|
Project Report
|
Central Library (CL) | Central Library (CL) | REF | Reference | MSCCS-4 INN (Browse shelf) | Available | SEECSP01790 |
Total holds: 0
There are no comments on this title.