2026-07-05T22:28:04Zhttps://ce.visuallibrary.net/ulbd/oai/

oai:ce.visuallibrary.net/ulbd:8093542017-07-28T15:00:01Zulbdcebook

vls/2603nrwcece.visuallibrary.netvdLogic-based program synthesis and transformation25th international symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 : revised selected papersLogic based program synthesis and transformationFalaschi, MorenoedtHerausgeberLOPSTR <25., 2015, Siena>asntextbook[Cham]Springer20152015monographicengXVII, 383 SeitenIllustrationenMoreno Falaschi (ed.)Logische ProgrammierungProgrammsyntheseProgrammtransformationProgrammverifikationFormale MethodeBVBBV043291815978-3-319-27435-5HT019399656Lecture notes in computer science9527HT00123385261/4848datk300.l640(25)20170725140950501rda https://ce.visuallibrary.net//domainresource/static/graphics/connectors/viewerLogo.gif http://193.30.112.129:83/F/?func=find-c&ccl_term=ICS%3D140950501+X0001 https://ce.visuallibrary.net/id/809354 https://ce.visuallibrary.net/i3f/v20/809354/manifest https://ce.visuallibrary.net/proto_ftsearch/809354