001450737 000__ 03475cam\a2200613\i\4500
001450737 001__ 1450737
001450737 003__ OCoLC
001450737 005__ 20230310004541.0
001450737 006__ m\\\\\o\\d\\\\\\\\
001450737 007__ cr\cn\nnnunnun
001450737 008__ 221028s2022\\\\sz\a\\\\o\\\\\101\0\eng\d
001450737 019__ $$a1348477168$$a1348481520
001450737 020__ $$a9783031197567$$q(electronic bk.)
001450737 020__ $$a3031197569$$q(electronic bk.)
001450737 020__ $$z9783031197550
001450737 020__ $$z3031197550
001450737 0247_ $$a10.1007/978-3-031-19756-7$$2doi
001450737 035__ $$aSP(OCoLC)1349121203
001450737 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dEBLCP$$dOCLCF$$dOCLCQ
001450737 049__ $$aISEA
001450737 050_4 $$aQA76.9.F67$$bI83 2022
001450737 08204 $$a005.1$$223/eng/20221028
001450737 1112_ $$aISoLA (Symposium)$$n(11th :$$d2022 :$$cRhodes, Greece)
001450737 24510 $$aLeveraging applications of formal methods, verification and validation : adaptation and learning :$$b11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, proceedings.$$nPart II /$$cTiziana Margaria, Bernhard Steffen (eds.).
001450737 24630 $$aISoLA 2022
001450737 264_1 $$aCham :$$bSpringer,$$c[2022]
001450737 264_4 $$c©2022
001450737 300__ $$a1 online resource (xiii, 427 pages) :$$billustrations (chiefly color).
001450737 336__ $$atext$$btxt$$2rdacontent
001450737 337__ $$acomputer$$bc$$2rdamedia
001450737 338__ $$aonline resource$$bcr$$2rdacarrier
001450737 4901_ $$aLecture notes in computer science,$$x1611-3349 ;$$v13702
001450737 500__ $$aInternational conference proceedings.
001450737 500__ $$aIncludes author index.
001450737 5050_ $$aProgramming - What is Next: The Role of Documentation -- Automated Software Re-Engineering -- DIME Days.
001450737 506__ $$aAccess limited to authorized users.
001450737 520__ $$aThis four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day.
001450737 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed October 28, 2022).
001450737 650_0 $$aFormal methods (Computer science)$$vCongresses.
001450737 650_0 $$aComputer software$$xVerification$$vCongresses.
001450737 650_0 $$aSoftware engineering$$vCongresses.
001450737 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001450737 655_7 $$aConference papers and proceedings.$$2lcgft
001450737 655_0 $$aElectronic books.
001450737 7001_ $$aMargaria-Steffen, Tiziana,$$d1964-$$eeditor.
001450737 7001_ $$aSteffen, Bernhard,$$eeditor.
001450737 77608 $$iPrint version: $$z3031197550$$z9783031197550$$w(OCoLC)1346216120
001450737 830_0 $$aLecture notes in computer science ;$$v13702.$$x1611-3349
001450737 852__ $$bebk
001450737 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-19756-7$$zOnline Access$$91397441.1
001450737 909CO $$ooai:library.usi.edu:1450737$$pGLOBAL_SET
001450737 980__ $$aBIB
001450737 980__ $$aEBOOK
001450737 982__ $$aEbook
001450737 983__ $$aOnline
001450737 994__ $$a92$$bISE