2026-06-10T01:13:27Zhttps://ce.visuallibrary.net/ulbd/oai/

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

vls/2603nrwcece.visuallibrary.netvdSoftware engineering and formal methods14th international conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016 : proceedingsDe Nicola, RoccoedtHerausgeberKühn, EvaedtHerausgeberSEFM <14., 2016, Wien>asnSTAF <2016, Wien>asntextbook[Cham]Springer20162016monographicengXV, 417 SeitenDiagrammeRocco DeNicola, Eva Kühn (eds.)InformatikSoftware EngineeringLogischer EntwurfProgrammierspracheBVBBV043662397978-3-319-41590-1HT019389693Lecture notes in computer science9763HT00123385261/4848datk300.s245(14)2017071420170714140943701rda https://ce.visuallibrary.net//domainresource/static/graphics/connectors/viewerLogo.gif http://193.30.112.129:83/F/?func=find-c&ccl_term=ICS%3D140943701+X0001 https://ce.visuallibrary.net/id/809306 https://ce.visuallibrary.net/i3f/v20/809306/manifest https://ce.visuallibrary.net/proto_ftsearch/809306