2026-07-02T05:54:35Zhttps://ce.visuallibrary.net/ulbd/oai/

oai:ce.visuallibrary.net/ulbd:8082562017-07-26T15:00:10Zulbdcebook

vls/2603nrwcece.visuallibrary.netvdFM 2014: Formal methods19th international symposium, Singapore, May 12 - 16, 2014 ; proceedingsJones, Cliff B.edtHrsg.FM <19, 2014, Singapur>asntextbookCham [u.a.]Springer2014monographicengXVIII, 750 S.graph. Darst.Cliff Jones ... (eds.)Formale MethodeKongressSingapur <2014>BVBBV041806703978-3-319-06409-3HT019397782Lecture notes in computer science8442HT00123385261/4848datk300.f480(19)20170724140948601rak https://ce.visuallibrary.net//domainresource/static/graphics/connectors/viewerLogo.gif http://193.30.112.129:83/F/?func=find-c&ccl_term=ICS%3D140948601+X0001 https://ce.visuallibrary.net/id/808256 https://ce.visuallibrary.net/i3f/v20/808256/manifest https://ce.visuallibrary.net/proto_ftsearch/808256