| 000 | 00702nam#a2200217#a#4500 | ||
|---|---|---|---|
| 001 | 0000045259 | ||
| 003 | 0001 | ||
| 008 | 111226s22 ##############000#0#eng#d | ||
| 020 | _a9789038626208 | ||
| 082 | _a681.2 | ||
| 084 |
_a681.2 _bATI-F |
||
| 100 | 1 | _aAtif, Muhammad | |
| 245 | 1 | 0 |
_aFormal modeling and verification of distributed failure detectors _h[Book] / _cMuhammad Atif. |
| 260 |
_axii, 214 p., _c22 cm. |
||
| 365 |
_a01 _b1,470.10 |
||
| 500 | _aIncludes index | ||
| 521 | _aAll. | ||
| 650 | 0 | _aDetectors (Sensors)--manufacturing technology. | |
| 650 | 0 | _aDetectors. | |
| 852 |
_p37775 _91470.10 _vStudent Services _dBooks |
||
| 999 |
_c167383 _d167383 |
||