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