| 000 | 01027nam a22002897a 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 005 | 20230401124542.0 | ||
| 008 | 200109b xxu||||| |||| 00| 0 eng d | ||
| 040 | _cIITB | ||
| 041 | _aeng | ||
| 080 |
_a043:681.3.06 _bShr |
||
| 100 |
_aShrawankumar _eAuthor _98727 |
||
| 245 | _aScaling up property checking (R) | ||
| 260 |
_aBombay _bIIT _c2019 |
||
| 300 |
_axviii,164 p. _c30 cm |
||
| 502 |
_aThesis _bPh.D. _cIndian Institute of Technology Bombay. Department of Computer Science and Engineering _d2019 |
||
| 650 | 0 |
_aTheses and Dissertations _921 |
|
| 650 | 0 |
_aComputer programming _9139 |
|
| 650 | 0 |
_aComputer programs _xVerification _914179 |
|
| 650 | 0 |
_aComputer algorithms _91730 |
|
| 650 | 0 |
_aVerification(Logic) _914180 |
|
| 650 | 0 |
_aCompilers(Computer programs) _914181 |
|
| 700 |
_aSanyal, Amitabha _eSupervisor _913573 |
||
| 700 |
_aKhedker, Uday _eSupervisor _913574 |
||
| 710 |
_aIndian Institute of Technology Bombay. _bDepartment of Computer Science and Engineering _9140 |
||
| 942 |
_2udc _cTD |
||
| 999 |
_c276855 _d276855 |
||