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