| 000 | 00727nam a2200193Ia 4500 | ||
|---|---|---|---|
| 999 |
_c6096 _d6096 |
||
| 008 | 161214s9999 xx 000 0 und d | ||
| 020 |
_a9783540404385 _cpbk |
||
| 082 |
_a004 _bLEU |
||
| 100 | _aLeuschel, Michael | ||
| 245 | 0 | _aLogic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002 Madrid, Spain, September 17-20, 2002 revised selected papers | |
| 260 |
_aBerlin: _bSpringer-Verlag, _c2003 |
||
| 300 |
_a279 p.; _bIndex.: _c24 cm. |
||
| 365 |
_aINR _b2272.20 |
||
| 440 | _v2664 | ||
| 490 | _aLecture notes in computer science | ||
| 650 | _aDebugging | ||
| 650 | _aTabling | ||
| 650 | _aLOPSTR | ||
| 650 | _aProgram Refinement | ||
| 650 | _aprogram transformation | ||
| 650 | _aVerification | ||
| 650 | _aPartial Evaluation | ||
| 942 |
_2ddc _cBK |
||