000			03152nam a22005655i 4500
001			vtls000544311
003			RU-ToGU
005			20210922083001.0
007			cr nn 008mamaa
008			160915s2014 gw | s |||| 0|eng d
020			_a9783319141251 _9978-3-319-14125-1
024	7		_a10.1007/978-3-319-14125-1 _2doi
035			_ato000544311
040			_aSpringer _cSpringer _dRU-ToGU
050		4	_aQA76.6-76.66
072		7	_aUM _2bicssc
072		7	_aCOM051000 _2bisacsh
082	0	4	_a005.11 _223
245	1	0	_aLogic-Based Program Synthesis and Transformation _helectronic resource _b23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers / _cedited by Gopal Gupta, Ricardo Peña.
260			_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2014.
300			_aXII, 237 p. 51 illus. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
490	1		_aLecture Notes in Computer Science, _x0302-9743 ; _v8901
505	0		_aSpecification -- Synthesis -- Verification -- Analysis -- Optimization -- Specialization -- Security -- Certification -- Applications and tools -- Program/model manipulation -- Transformation techniques for any programming language paradigm.
520			_aThis book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013, held in Madrid, Spain, in September 2013. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions during two rounds of reviewing and improvement. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.
650		0	_aComputer Science. _9155490
650		0	_aSoftware engineering. _9566225
650		0	_aLogic design. _9306256
650		0	_aComputational complexity. _9304814
650		0	_aArtificial intelligence. _9274099
650	1	4	_aComputer Science. _9155490
650	2	4	_aProgramming Techniques. _9566312
650	2	4	_aSoftware Engineering. _9566285
650	2	4	_aMathematical Logic and Formal Languages. _9303363
650	2	4	_aArtificial Intelligence (incl. Robotics). _9274102
650	2	4	_aDiscrete Mathematics in Computer Science. _9304816
650	2	4	_aLogics and Meanings of Programs. _9306257
700	1		_aGupta, Gopal. _eeditor. _9322767
700	1		_aPeña, Ricardo. _eeditor. _9416188
710	2		_aSpringerLink (Online service) _9143950
773	0		_tSpringer eBooks
830		0	_aLecture Notes in Computer Science, _9279505
856	4	0	_uhttp://dx.doi.org/10.1007/978-3-319-14125-1
912			_aZDB-2-SCS
912			_aZDB-2-LNC
999			_c402101