000727356 000__ 02583cam\a2200493Ii\4500
000727356 001__ 727356
000727356 005__ 20230306140814.0
000727356 006__ m\\\\\o\\d\\\\\\\\
000727356 007__ cr\cn\nnnunnun
000727356 008__ 150529s2015\\\\sz\a\\\\o\\\\\101\0\eng\d
000727356 020__ $$a9783319192499$$qelectronic book
000727356 020__ $$a3319192493$$qelectronic book
000727356 020__ $$z9783319192482
000727356 0247_ $$a10.1007/978-3-319-19249-9$$2doi
000727356 035__ $$aSP(OCoLC)ocn910307507
000727356 035__ $$aSP(OCoLC)910307507
000727356 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO$$dYDXCP$$dNUI$$dVLB
000727356 049__ $$aISEA
000727356 050_4 $$aQA76.9.F67$$bI58 2015eb
000727356 08204 $$a004.01/51$$223
000727356 1112_ $$aInternational Symposium of Formal Methods Europe$$n(20th :$$d2015 :$$cOslo, Norway)
000727356 24510 $$aFM 2015$$h[electronic resource] :$$bformal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings /$$cNikolaj Bjørner, Frank de Boer (eds.).
000727356 264_1 $$aCham :$$bSpringer,$$c2015.
000727356 300__ $$a1 online resource (xvi, 610 pages) :$$billustrations.
000727356 336__ $$atext$$btxt$$2rdacontent
000727356 337__ $$acomputer$$bc$$2rdamedia
000727356 338__ $$aonline resource$$bcr$$2rdacarrier
000727356 4901_ $$aLecture Notes in Computer Science,$$x0302-9743 ;$$v9109
000727356 4901_ $$aLNCS sublibrary. SL 2, Programming and software engineering
000727356 500__ $$aInternational conference proceedings.
000727356 500__ $$aIncludes author index.
000727356 5050_ $$aAutomated circular assume-guarantee reasoning -- Towards formal verification of orchestration computations using the K framework -- Narrowing operators on template abstract domains.
000727356 506__ $$aAccess limited to authorized users.
000727356 520__ $$aThis book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.
000727356 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed May 29, 2015).
000727356 650_0 $$aFormal methods (Computer science)$$vCongresses.
000727356 7001_ $$aBjörner, Nikolaj,$$eeditor.
000727356 7001_ $$aBoer, Frank S. de,$$eeditor.
000727356 830_0 $$aLecture notes in computer science ;$$v9109.
000727356 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
000727356 852__ $$bebk
000727356 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-19249-9$$zOnline Access$$91397441.1
000727356 909CO $$ooai:library.usi.edu:727356$$pGLOBAL_SET
000727356 980__ $$aEBOOK
000727356 980__ $$aBIB
000727356 982__ $$aEbook
000727356 983__ $$aOnline
000727356 994__ $$a92$$bISE