MS/Thesis:Formal Verification of Internet Worm Propagation Model Misbah Razzaq
Material type:
TextSeries: (Dr.Jamil Supervisor)Publisher: Islamabad RCMS NUST 2015DDC classification: 004.12 MIS
| Item type | Current location | Home library | Shelving location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
Thesis
|
Central Library (CL) | Central Library (CL) | Thesis | 004 (Browse shelf) | Available | CL-T-5992 | ||
|
Thesis
|
School of Interdisciplinary Engineering and Sciences (SINES) | School of Interdisciplinary Engineering and Sciences (SINES) | Thesis | 004.12 MIS (Browse shelf) | Available | RCMS003187 |
Total holds: 0
There are no comments on this title.