| 000 | 00764nam a22002657a 4500 | ||
|---|---|---|---|
| 003 | IIITD | ||
| 005 | 20220623020003.0 | ||
| 008 | 200227b xxu||||| |||| 00| 0 eng d | ||
| 020 | _a9783662504963 | ||
| 040 | _aIIITD | ||
| 082 |
_a519.542 _bKRO-D |
||
| 100 | _aKroening, Daniel | ||
| 245 |
_aDecision procedures : _ban algorithmic point of view _cby Daniel Kroening and Ofer Strichman |
||
| 250 | _a2nd ed. | ||
| 260 |
_bSpringer, _aBerlin : _c©2016 |
||
| 300 |
_axxi, 356 p. ; _c24cm. |
||
| 490 | _aTexts in theoretical computer science an EATCS | ||
| 500 | _aIncludes index | ||
| 650 | _aAlgorithms | ||
| 650 | _aSoftware engineering | ||
| 650 | _aComputer science | ||
| 650 | _aComputers | ||
| 700 | _aStrichman, Ofer | ||
| 942 |
_2ddc _cBK _02 |
||
| 999 |
_c117460 _d117460 |
||