000856012 000__ 03263cam\a2200541Ii\4500
000856012 001__ 856012
000856012 005__ 20230306145209.0
000856012 006__ m\\\\\o\\d\\\\\\\\
000856012 007__ cr\un\nnnunnun
000856012 008__ 141210t20142014sz\a\\\\ob\\\\100\0\eng\d
000856012 020__ $$a9783319141251$$q(electronic book)
000856012 020__ $$a3319141252$$q(electronic book)
000856012 020__ $$z9783319141244
000856012 020__ $$z3319141244
000856012 0247_ $$a10.1007/978-3-319-14125-1$$2doi
000856012 035__ $$aSP(OCoLC)ocn906025688
000856012 035__ $$aSP(OCoLC)906025688
000856012 040__ $$aVT2$$beng$$erda$$epn$$cVT2$$dOCLCO$$dCOO$$dOCLCF$$dORU$$dOCLCQ$$dMNM$$dOCLCO$$dGZM$$dOCLCO$$dOCL$$dOCLCO$$dOCLCQ$$dESU$$dCAUOI$$dGW5XE
000856012 049__ $$aISEA
000856012 050_4 $$aQA76.63
000856012 08204 $$a005.11$$223
000856012 1112_ $$aLOPSTR (Symposium)$$n(23rd :$$d2013 :$$cMadrid, Spain)
000856012 24510 $$aLogic-Based Program Synthesis and Transformation :$$b23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, revised selected papers /$$cedited by Gopal Gupta, Ricardo Peą.
000856012 24630 $$aLOPSTR 2013
000856012 264_1 $$aCham :$$bSpringer,$$c[2014]
000856012 264_4 $$c©2014
000856012 300__ $$a1 online resource (xii, 236 pages) :$$billustrations.
000856012 336__ $$atext$$btxt$$2rdacontent
000856012 337__ $$acomputer$$bc$$2rdamedia
000856012 338__ $$aonline resource$$bcr$$2rdacarrier
000856012 347__ $$atext file$$bPDF$$2rda
000856012 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v8901
000856012 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues
000856012 504__ $$aIncludes bibliographical references and author index.
000856012 5050_ $$aSpecification -- Synthesis -- Verification -- Analysis -- Optimization -- Specialization -- Security -- Certification -- Applications and tools -- Program/model manipulation -- Transformation techniques for any programming language paradigm.
000856012 506__ $$aAccess limited to authorized users.
000856012 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.
000856012 650_0 $$aLogic programming$$vCongresses.
000856012 650_0 $$aConstraint programming (Computer science)$$vCongresses.
000856012 7001_ $$aGupta, G.$$q(Gopal),$$d1963-$$eeditor.
000856012 7001_ $$aPeña, Ricardo,$$d1950-$$eeditor.
000856012 77608 $$iPrint version:$$aLOPSTR 2013 (2013 : Madrid, Spain).$$tLogic-based program synthesis and transformation.$$dCham : Springer, [2014]$$z9783319141244$$w(OCoLC)907346853
000856012 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000856012 830_0 $$aLecture notes in computer science ;$$v8901.
000856012 852__ $$bebk
000856012 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-14125-1$$zOnline Access$$91397441.1
000856012 909CO $$ooai:library.usi.edu:856012$$pGLOBAL_SET
000856012 980__ $$aEBOOK
000856012 980__ $$aBIB
000856012 982__ $$aEbook
000856012 983__ $$aOnline
000856012 994__ $$a92$$bISE