000697965 000__ 02616cam\a2200505Ki\4500
000697965 001__ 697965
000697965 005__ 20230306135806.0
000697965 006__ m\\\\\o\\d\\\\\\\\
000697965 007__ cr\cnu|||unuuu
000697965 008__ 140425s2014\\\\sz\a\\\\o\\\\\101\0\eng\d
000697965 0167_ $$a016697342$$2Uk
000697965 020__ $$a9783319064109 $$qelectronic book
000697965 020__ $$a331906410X $$qelectronic book
000697965 020__ $$z9783319064093
000697965 0247_ $$a10.1007/978-3-319-06410-9$$2doi
000697965 035__ $$aSP(OCoLC)ocn878117097
000697965 035__ $$aSP(OCoLC)878117097
000697965 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDXCP$$dUKMGB$$dCOO
000697965 049__ $$aISEA
000697965 050_4 $$aQA76.9.F67
000697965 08204 $$a004.01/51$$223
000697965 1112_ $$aInternational Symposium of Formal Methods Europe$$n(19th :$$d2014 :$$cSingapore)
000697965 24510 $$aFM 2014$$h[electronic resource] :$$bFormal methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings /$$cCliff Jones, Pekka Pihlajasaari, Jun Sun (eds.).
000697965 264_1 $$aCham :$$bSpringer,$$c2014.
000697965 300__ $$a1 online resource (xviii, 750 pages) :$$billustrations.
000697965 336__ $$atext$$btxt$$2rdacontent
000697965 337__ $$acomputer$$bc$$2rdamedia
000697965 338__ $$aonline resource$$bcr$$2rdacarrier
000697965 4901_ $$aLecture Notes in Computer Science,$$x0302-9743 ;$$v8442
000697965 4901_ $$aLNCS sublibrary. SL 2, Programming and software engineering
000697965 500__ $$aInternational conference proceedings.
000697965 500__ $$aIncludes author index.
000697965 506__ $$aAccess limited to authorized users.
000697965 520__ $$aThis book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presented together with 3 invited talks were carefully reviewed and selected from 150 submissions. The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.
000697965 588__ $$aDescription based on online resource; title from PDF title page (SpringerLink, viewed April 25, 2014).
000697965 650_0 $$aFormal methods (Computer science)$$vCongresses.
000697965 7001_ $$aJones, C. B.$$q(Cliff B.),$$d1944-,$$eeditor.
000697965 7001_ $$aPihlajasaari, Pekka,$$eeditor.
000697965 7001_ $$aSun, Jun,$$eeditor.
000697965 830_0 $$aLecture notes in computer science ;$$v8442.$$x0302-9743
000697965 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
000697965 852__ $$bebk
000697965 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://dx.doi.org/10.1007/978-3-319-06410-9$$zOnline Access
000697965 909CO $$ooai:library.usi.edu:697965$$pGLOBAL_SET
000697965 980__ $$aEBOOK
000697965 980__ $$aBIB
000697965 982__ $$aEbook
000697965 983__ $$aOnline
000697965 994__ $$a92$$bISE