Formal modeling and verification of distributed failure detectors Muhammad Atif English
Material type:
TextPublisher: Samundri, Pakistan Geboren te 2011Description: xii, 214 pISBN: 9789038626208DDC classification: 681.2
| Item type | Current location | Home library | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Book
|
Central Library (CL) | Central Library (CL) | 681.2 ATI (Browse shelf) | Available | CL-D-1076 |
Total holds: 0
Browsing Central Library (CL) shelves Close shelf browser
| No cover image available | ||||||||
| 672.4223 HAS Introduction to Workshop Technology / | 677 SLA Environmental impact of Textiles: | 677.025095491 TEX Textile Directory of Pakistan | 681.2 ATI Formal modeling and verification of distributed failure detectors | 681.2 BEC Mechanical measurements / | 681.2 DAR Fundamentals of wireless sensor networks : theory and practice | 681.2 DIS Wireless sensor networks for healthcare applications |
There are no comments on this title.