| 000 | 02727nam a22005775i 4500 | ||
|---|---|---|---|
| 001 | 978-3-642-20551-4 | ||
| 003 | DE-He213 | ||
| 005 | 20240423125951.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 110420s2011 gw | s |||| 0|eng d | ||
| 020 |
_a9783642205514 _9978-3-642-20551-4 |
||
| 024 | 7 |
_a10.1007/978-3-642-20551-4 _2doi |
|
| 050 | 4 | _aQA76.758 | |
| 072 | 7 |
_aUMZ _2bicssc |
|
| 072 | 7 |
_aCOM051230 _2bisacsh |
|
| 072 | 7 |
_aUMZ _2thema |
|
| 082 | 0 | 4 |
_a005.1 _223 |
| 245 | 1 | 0 |
_aLogic-Based Program Synthesis and Transformation _h[electronic resource] : _b20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers / _cedited by María Alpuente. |
| 250 | _a1st ed. 2011. | ||
| 264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2011. |
|
| 300 |
_aX, 249 p. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v6564 |
|
| 520 | _aThis book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Austria in July 2010. The 13 revised full papers presented together with two invited papers were carefully reviewed and selected from 26 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, application and tools, program/model manipulation, and transformation techniques for any programming language paradigm. | ||
| 650 | 0 | _aSoftware engineering. | |
| 650 | 0 | _aComputer programming. | |
| 650 | 0 | _aComputer science. | |
| 650 | 0 | _aArtificial intelligence. | |
| 650 | 0 | _aAlgorithms. | |
| 650 | 1 | 4 | _aSoftware Engineering. |
| 650 | 2 | 4 | _aProgramming Techniques. |
| 650 | 2 | 4 | _aComputer Science Logic and Foundations of Programming. |
| 650 | 2 | 4 | _aArtificial Intelligence. |
| 650 | 2 | 4 | _aAlgorithms. |
| 700 | 1 |
_aAlpuente, María. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783642205507 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783642205521 |
| 830 | 0 |
_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v6564 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-642-20551-4 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-SXCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cSPRINGER | ||
| 999 |
_c183596 _d183596 |
||