000711815 000__ 02237cam\a2200505Ii\4500
000711815 001__ 711815
000711815 005__ 20230306140211.0
000711815 006__ m\\\\\o\\d\\\\\\\\
000711815 007__ cr\cn\nnnunnun
000711815 008__ 141010s2014\\\\gw\a\\\\o\\\\\101\0\eng\d
000711815 020__ $$a9783662452349$$qelectronic book
000711815 020__ $$a3662452340$$qelectronic book
000711815 020__ $$z9783662452332
000711815 0247_ $$a10.1007/978-3-662-45234-9$$2doi
000711815 035__ $$aSP(OCoLC)ocn892733413
000711815 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO
000711815 049__ $$aISEA
000711815 050_4 $$aTJ211.45
000711815 08204 $$a629.8/9251$$223
000711815 1112_ $$aISoLA (Symposium)$$n(6th :$$d2014 :$$cKerkyra, Greece)
000711815 24510 $$aLeveraging applications of formal methods, verification and validation$$h[electronic resource] :$$bspecialized techniques and applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings.$$nPart I /$$cedited by Tiziana Margaria, Bernhard Steffen.
000711815 2463_ $$aISoLA 2014
000711815 264_1 $$aHeidelberg :$$bSpringer,$$c2014.
000711815 300__ $$a1 online resource (xviii, 547 pages) :$$billustrations.
000711815 336__ $$atext$$btxt$$2rdacontent
000711815 337__ $$acomputer$$bc$$2rdamedia
000711815 338__ $$aonline resource$$bcr$$2rdacarrier
000711815 4901_ $$aLecture Notes in Computer Science,$$x0302-9743 ;$$v8802
000711815 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues
000711815 500__ $$aInternational conference proceedings.
000711815 500__ $$aIncludes author index.
000711815 506__ $$aAccess limited to authorized users.
000711815 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed October 10, 2014).
000711815 650_0 $$aRobots$$xProgramming$$vCongresses.
000711815 650_0 $$aMachine learning$$vCongresses.
000711815 650_0 $$aComputer software$$xVerification$$vCongresses.
000711815 650_0 $$aFormal methods (Computer science)$$vCongresses.
000711815 7001_ $$aMargaria-Steffen, Tiziana,$$d1964-$$eeditor.
000711815 7001_ $$aSteffen, Bernhard,$$eeditor.
000711815 830_0 $$aLecture notes in computer science ;$$v8802.
000711815 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000711815 85280 $$bebk$$hSpringerLink
000711815 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://dx.doi.org/10.1007/978-3-662-45234-9$$zOnline Access
000711815 909CO $$ooai:library.usi.edu:711815$$pGLOBAL_SET
000711815 980__ $$aEBOOK
000711815 980__ $$aBIB
000711815 982__ $$aEbook
000711815 983__ $$aOnline
000711815 994__ $$a92$$bISE