2026-07-13T20:31:57Zhttps://ce.visuallibrary.net/ulbd/oai/

oai:ce.visuallibrary.net/ulbd:8097352017-07-29T15:00:33Zulbdcebook

vls/2603nrwcece.visuallibrary.netvdFormal methods and software engineering17th international conference on formal engineering methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedingsButler, MichaeledtHerausgeberConchon, SylvainedtHerausgeberZaidi, FatihaedtHerausgeberICFEM <17., 2015, Paris>asntextbookChamSpringer20152015monographicengXXV, 436 SeitenIllustrationenMichael Butler, Sylvain Conchon, Fatiha Zaïdi (eds.)SoftwareentwicklungVerifikationFormale MethodeBVBBV043226848978-3-319-25422-7HT019400371Lecture notes in computer science9407HT00123385261/4848datk300.i199(17)20170726140169301rda https://ce.visuallibrary.net//domainresource/static/graphics/connectors/viewerLogo.gif http://193.30.112.129:83/F/?func=find-c&ccl_term=ICS%3D140169301+X0001 https://ce.visuallibrary.net/id/809735 https://ce.visuallibrary.net/i3f/v20/809735/manifest https://ce.visuallibrary.net/proto_ftsearch/809735