2026-07-02T07:27:44Zhttps://ce.visuallibrary.net/ulbd/oai/

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

vls/2603nrwcece.visuallibrary.netvdSoftware engineering and formal methods13th international conference, SEFM 2015, York, UK, September 7 - 11, 2015 ; proceedingsCalinescu, Radu C.edtHrsg.SEFM <13., 2015, York>asntextbookCham [u.a.]Springer2015monographicengXI, 368 S. : Ill., graph. Darst.Radu Calinescu ... (eds.)Software EngineeringFormale MethodeAnwendungssystemKongressYork <2015>ProgrammverifikationSoftwarespezifikationModel CheckingSoftwaretestProgrammanalyseKongressYork <2015>BVBBV042810799978-3-319-22968-3HT019399451Lecture notes in computer science9276HT00123385261/4848datk300.s245(13)20170725140168201 https://ce.visuallibrary.net//domainresource/static/graphics/connectors/viewerLogo.gif http://193.30.112.129:83/F/?func=find-c&ccl_term=ICS%3D140168201+X0001 https://ce.visuallibrary.net/id/809310 https://ce.visuallibrary.net/i3f/v20/809310/manifest https://ce.visuallibrary.net/proto_ftsearch/809310