Formal modeling and verification of distributed failure detectors [Book] / Muhammad Atif.
Material type: TextPublication details: xii, 214 p., 22 cm.ISBN:- 9789038626208
- 681.2
- 681.2
Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Books | Junaid Zaidi Library, COMSATS University Islamabad Ground Floor | 681.2 ATI-F (Browse shelf(Opens below)) | Available | 37775 |
Total holds: 0
Browsing Junaid Zaidi Library, COMSATS University Islamabad shelves, Shelving location: Ground Floor Close shelf browser (Hides shelf browser)
681 .4 SMI-E The eye and visual optical instruments | 681 .62 DAR-T 301 inkjet tips and techniques an essential printing resource for photographers / | 681 MOR-M Measurement and instrumentation : theory and application / | 681.2 ATI-F Formal modeling and verification of distributed failure detectors | 681.2 BAK-E Electrical instrumentation | 681.2 BOU-D Digital instrumentation | 681.2 BOU-D Digital instrumentation |
Includes index
All.
There are no comments on this title.