000851743 000__ 02208cam\a2200517Ii\4500
000851743 001__ 851743
000851743 005__ 20230306145209.0
000851743 006__ m\\\\\o\\d\\\\\\\\
000851743 007__ cr\cn\nnnunnun
000851743 008__ 181109s2018\\\\sz\a\\\\o\\\\\101\0\eng\d
000851743 020__ $$a9783030034245$$q(electronic book)
000851743 020__ $$a3030034240$$q(electronic book)
000851743 020__ $$z9783030034238
000851743 0247_ $$a10.1007/978-3-030-03424-5$$2doi
000851743 035__ $$aSP(OCoLC)on1062360990
000851743 035__ $$aSP(OCoLC)1062360990
000851743 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE
000851743 049__ $$aISEA
000851743 050_4 $$aQA76.9.F67
000851743 08204 $$a004.01/51$$223
000851743 1112_ $$aISoLA (Symposium)$$n(8th :$$d2018 :$$cLimassol, Cyprus)
000851743 24510 $$aLeveraging applications of formal methods, verification and validation :$$bdistributed systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings.$$nPart III /$$cTiziana Margaria, Bernhard Steffen (eds.).
000851743 2463_ $$aISoLA 2018
000851743 264_1 $$aCham :$$bSpringer,$$c2018.
000851743 300__ $$a1 online resource (xiv, 522 pages) :$$billustrations.
000851743 336__ $$atext$$btxt$$2rdacontent
000851743 337__ $$acomputer$$bc$$2rdamedia
000851743 338__ $$aonline resource$$bcr$$2rdacarrier
000851743 4901_ $$aLecture notes in computer science ;$$v11246
000851743 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues
000851743 500__ $$aInternational conference proceedings.
000851743 500__ $$aIncludes author index.
000851743 506__ $$aAccess limited to authorized users.
000851743 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed November 9, 2018).
000851743 650_0 $$aFormal methods (Computer science)$$vCongresses.
000851743 650_0 $$aRobots$$xProgramming$$vCongresses.
000851743 650_0 $$aMachine learning$$vCongresses.
000851743 650_0 $$aComputer software$$xVerification$$vCongresses.
000851743 7001_ $$aMargaria-Steffen, Tiziana,$$d1964-$$eeditor.
000851743 7001_ $$aSteffen, Bernhard,$$eeditor.
000851743 830_0 $$aLecture notes in computer science ;$$v11246.
000851743 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000851743 852__ $$bebk
000851743 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-03424-5$$zOnline Access$$91397441.1
000851743 909CO $$ooai:library.usi.edu:851743$$pGLOBAL_SET
000851743 980__ $$aEBOOK
000851743 980__ $$aBIB
000851743 982__ $$aEbook
000851743 983__ $$aOnline
000851743 994__ $$a92$$bISE