| 000 | 00552 a2200205 4500 | ||
|---|---|---|---|
| 999 |
_c713 _d713 |
||
| 005 | 20201216141110.0 | ||
| 008 | 170920b xxu||||| |||| 00| 0 eng d | ||
| 020 | _a9783662504963 | ||
| 041 | _aeng | ||
| 082 | _a004.0151 KRO/D | ||
| 100 |
_aKroening, Daniel _91295 |
||
| 245 | _aDecision procedures: an algorithmic point of view | ||
| 250 | _a2nd ed. | ||
| 260 |
_bSpringer _c2016 _aBerlin |
||
| 300 | _axxi, 356p. | ||
| 650 |
_aComputer science. _91296 |
||
| 650 |
_aSoftware engineering. _91297 |
||
| 700 |
_aStrichman, Ofer _91298 |
||
| 942 | _cBK | ||