2026-07-18T05:53:49Zhttps://ce.visuallibrary.net/ulbd/oai/

oai:ce.visuallibrary.net/ulbd:8089012017-07-27T15:00:10Zulbdcebook

vls/2603nrwcece.visuallibrary.netvdFM 2016: Formal methods21st international symposium, Limassol, Cyprus, November 9-11, 2016 : proceedingsFitzgerald, JohnedtHerausgeberHeitmeyer, ConstanceedtHerausgeberGnesi, StefaniaedtHerausgeberPhilippou, AnnaedtHerausgeberFM <21., 2016, Limassol>asntextbookChamSpringer20162016monographicengXXIII, 789 SeitenIllustrationen, DiagrammeJohn Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou (eds.)Formale MethodeBVBBV043971609978-3-319-48988-9HT019398343Lecture notes in computer science9995HT00123385261/4848datk300.f480(21)20170724140949201rda https://ce.visuallibrary.net//domainresource/static/graphics/connectors/viewerLogo.gif http://193.30.112.129:83/F/?func=find-c&ccl_term=ICS%3D140949201+X0001 https://ce.visuallibrary.net/id/808901 https://ce.visuallibrary.net/i3f/v20/808901/manifest https://ce.visuallibrary.net/proto_ftsearch/808901