| 000 | 00544nam a2200169Ia 4500 | ||
|---|---|---|---|
| 082 | _a004 P18 | ||
| 100 | _aArora, Himanshu | ||
| 245 | _aChecking observational purity of procedures | ||
| 260 |
_aBengalore: _bIndian Institute of Science, _c2018. |
||
| 300 |
_avi, 56 p. : _c29 cm. |
||
| 500 | _aInclude bibliographical references | ||
| 502 | _aPhD;2018;Computer Science and Automation | ||
| 650 | _aTerminology; Programming Language | ||
| 700 | _aAdvised by Raghavan, KV | ||
| 942 | _cT | ||
| 999 |
_c201143 _d201143 |
||