2026-07-02T11:01:22Zhttps://ce.visuallibrary.net/ulbd/oai/

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

vls/2603nrwcece.visuallibrary.netvdTools and algorithms for the construction and analysis of systems22nd international conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedingsChechik, MarshaedtHerausgeberRaskin, Jean-FrançoisedtHerausgeberTACAS <22., 2016, Eindhoven>asnETAPS <19., 2016, Eindhoven>asntextbookBerlinSpringer20162016monographicengXIX, 961 SeitenIllustrationen, DiagrammeMarsha Chechik, Jean-François Raskin (eds.)SoftwareentwicklungSystementwicklungSystemanalyseProgrammverifikationHardwareverifikationModel CheckingSoftwarespezifikationDNB1082360821978-3-662-49673-23-662-49673-9HT019397450Lecture notes in computer science9636HT001233852Advanced research in computing and software sciencehttp://www.springer.com/http://deposit.d-nb.de/cgi-bin/dokserv?id=290ea045731f458a96cf87bc7945bf0d&prov=M&dok_var=1&dok_ext=htm1012016 A 2812220170724140948401rda https://ce.visuallibrary.net//domainresource/static/graphics/connectors/viewerLogo.gif http://193.30.112.129:83/F/?func=find-c&ccl_term=ICS%3D140948401+X0001 https://ce.visuallibrary.net/id/808241 https://ce.visuallibrary.net/i3f/v20/808241/manifest https://ce.visuallibrary.net/proto_ftsearch/808241