Formal modeling and verification of distributed failure detectors Muhammad Atif English

By: Atif, MuhammadMaterial type: TextTextPublisher: Samundri, Pakistan Geboren te 2011Description: xii, 214 pISBN: 9789038626208DDC classification: 681.2
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current location Home library Call number Status Date due Barcode Item holds
Book Book Central Library (CL)
Central Library (CL)
681.2 ATI (Browse shelf) Available CL-D-1076
Total holds: 0

There are no comments on this title.

to post a comment.
© 2023 Central Library, National University of Sciences and Technology. All Rights Reserved.