000917418 000__ 02557cam\a2200505Ii\4500
000917418 001__ 917418
000917418 005__ 20230306150723.0
000917418 006__ m\\\\\o\\d\\\\\\\\
000917418 007__ cr\nn\nnnunnun
000917418 008__ 191129s2019\\\\sz\a\\\\o\\\\\101\0\eng\d
000917418 020__ $$a9783030349684$$q(electronic book)
000917418 020__ $$a3030349683$$q(electronic book)
000917418 020__ $$z9783030349677
000917418 0248_ $$a10.1007/978-3-030-34
000917418 035__ $$aSP(OCoLC)on1129158932
000917418 035__ $$aSP(OCoLC)1129158932
000917418 040__ $$aLQU$$beng$$cLQU$$dGW5XE$$dOCLCO$$dDKU
000917418 049__ $$aISEA
000917418 050_4 $$aQA76.758
000917418 08204 $$a005.1
000917418 1112_ $$aInternational Conference on Integrated Formal Methods$$n(15th :$$d2019 :$$cBergen, Norway)
000917418 24510 $$aIntegrated Formal Methods :$$b15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings /$$cWolfgang Ahrendt, Silvia Lizeth Tapia Tarifa (eds.).
000917418 2463_ $$aIFM 2019
000917418 264_1 $$aCham :$$bSpringer,$$c2019.
000917418 300__ $$a1 online resource (xvii, 554 pages) :$$billustrations.
000917418 336__ $$atext$$btxt$$2rdacontent
000917418 337__ $$acomputer$$bc$$2rdamedia
000917418 338__ $$aonline resource$$bcr$$2rdacarrier
000917418 4901_ $$aLecture notes in computer science ;$$v11918
000917418 4901_ $$aFormal methods
000917418 4901_ $$aLNCS sublibrary. SL 2, Programming and software engineering
000917418 500__ $$aInternational conference proceedings.
000917418 500__ $$aIncludes author index.
000917418 506__ $$aAccess limited to authorized users.
000917418 520__ $$aThis book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019. The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their integration into software engineering practice including both theoretical approaches and practical implementations. Also included are the extended abstracts of 6 "journal-first" papers.
000917418 650_0 $$aFormal methods (Computer science)$$vCongresses.
000917418 7001_ $$aAhrendt, Wolfgang.
000917418 7001_ $$aTapia Tarifa, Silvia Lizeth.
000917418 830_0 $$aLecture notes in computer science ;$$v11918.
000917418 830_0 $$aLecture notes in computer science.$$pFormal methods.
000917418 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
000917418 852__ $$bebk
000917418 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-34968-4$$zOnline Access$$91397441.1
000917418 909CO $$ooai:library.usi.edu:917418$$pGLOBAL_SET
000917418 980__ $$aEBOOK
000917418 980__ $$aBIB
000917418 982__ $$aEbook
000917418 983__ $$aOnline
000917418 994__ $$a92$$bISE