| 000 | 01066 a2200325 4500 | ||
|---|---|---|---|
| 001 | 386820 | ||
| 003 | OSt | ||
| 005 | 20230401150546.0 | ||
| 008 | 230401b |||||||| |||| 00| 0 eng d | ||
| 040 | _cIITB | ||
| 041 | _aeng | ||
| 080 |
_a043:681.3.06:517.1 _bCha |
||
| 100 |
_aChaudhari, Dipak Liladhar _eAuthor _946128 |
||
| 245 | _aDerivation of imperative sequential programs from formal specifications (R) | ||
| 260 | _aBombay | ||
| 260 | _bIIT | ||
| 260 | _c2017 | ||
| 300 | _axii,107 p. | ||
| 300 | _c30 cm | ||
| 502 |
_aThesis _bPh.D _cIndian Institute of Technology Bombay. Department of Computer Science and Engineering _d2017 |
||
| 650 |
_aDamani, Om _946129 |
||
| 650 |
_aTheses and Dissertations _921 |
||
| 650 |
_aComputer programming _9139 |
||
| 650 |
_a Logic _94621 |
||
| 650 |
_aSymbolic and mathematical _946130 |
||
| 650 |
_aAutomatic theorem proving _94041 |
||
| 700 |
_aDamani, Om _eSupervisor _946131 |
||
| 710 |
_aIndian Institute of Technology Bombay _b Department of Computer Science and Engineering _9140 |
||
| 942 |
_cRB _2udc |
||
| 999 |
_c192677 _d192675 |
||