Formal modeling and verification of distributed failure detectors (Record no. 167383)

MARC details
000 -LEADER
fixed length control field 00702nam#a2200217#a#4500
001 - CONTROL NUMBER
control field 0000045259
003 - CONTROL NUMBER IDENTIFIER
control field 0001
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 111226s22 ##############000#0#eng#d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9789038626208
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 681.2
084 ## - OTHER CLASSIFICATION NUMBER
Classification number 681.2
Item number ATI-F
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Atif, Muhammad
245 10 - TITLE STATEMENT
Title Formal modeling and verification of distributed failure detectors
Medium [Book] /
Statement of responsibility, etc. Muhammad Atif.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. xii, 214 p.,
Date of publication, distribution, etc. 22 cm.
365 ## - TRADE PRICE
Price type code 01
Price amount 1,470.10
500 ## - GENERAL NOTE
General note Includes index
521 ## - TARGET AUDIENCE NOTE
Target audience note All.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Detectors (Sensors)--manufacturing technology.
Topical term or geographic name entry element Detectors.
852 ## - LOCATION
Accession No. 37775
-- 1470.10
-- Student Services
Former shelving location Books
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Shelving location Date acquired Total checkouts Full call number Barcode Date last seen Price effective from Koha item type
        Junaid Zaidi Library, COMSATS University Islamabad Junaid Zaidi Library, COMSATS University Islamabad Ground Floor 09/18/2023   681.2 ATI-F 37775 09/18/2023 09/18/2023 Books