000772514 000__ 03604cam\a2200673Mc\4500
000772514 001__ 772514
000772514 005__ 20230306142542.0
000772514 006__ m\\\\\o\\d\\\\\\\\
000772514 007__ cr\un\nnnunnun
000772514 008__ 170113s2016\\\\sz\a\\\\o\\\\\101\0\eng\d
000772514 019__ $$a971055471
000772514 020__ $$a9783319516417$$q(electronic book)
000772514 020__ $$a3319516418$$q(electronic book)
000772514 020__ $$z9783319516400
000772514 0247_ $$a10.1007/978-3-319-51641-7$$2doi
000772514 035__ $$aSP(OCoLC)ocn968302107
000772514 035__ $$aSP(OCoLC)968302107$$z(OCoLC)971055471
000772514 040__ $$aDKDLA$$beng$$epn$$cDKDLA$$dOCLCO$$dNOC$$dDKU$$dGW5XE$$dYDX$$dUPM$$dUAB$$dCOO$$dOCLCQ$$dOCLCO
000772514 049__ $$aISEA
000772514 050_4 $$aQA76.758
000772514 08204 $$a005.1$$223
000772514 1112_ $$aISoLA (Symposium)$$n(6th :$$d2014 :$$cKerkyra, Greece)
000772514 24510 $$aLeveraging applications of formal methods, verification, and validation :$$b6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised selected papers /$$cAnna-Lena Lamprecht (ed.)
000772514 2463_ $$aISoLA 2014
000772514 2463_ $$aISoLA 2012
000772514 264_1 $$aCham :$$bSpringer,$$c2016
000772514 300__ $$a1 online resource (vii, 157 pages) :$$billustrations
000772514 336__ $$atext$$btxt$$2rdacontent
000772514 337__ $$acomputer$$bc$$2rdamedia
000772514 338__ $$aonline resource$$bcr$$2rdacarrier
000772514 347__ $$atext file$$bPDF$$2rda
000772514 4901_ $$aCommunications in Computer and Information Science,$$x1865-0929 ;$$v683
000772514 500__ $$aIncludes author index
000772514 5050_ $$aProcesses and data integration in the networked healthcare -- Process-oriented geoinformation systems and applications -- Automata learning in practice -- ISoLA 2014 Doctoral Symposium
000772514 506__ $$aAccess limited to authorized users.
000772514 5208_ $$aThis book constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA 2014, held in Corfu, Greece, in October 2014, and the 5th International Symposium, ISoLA 2012, held in Heraklion, Crete, Greece, in October 2012. The 9 revised full papers presented were carefully reviewed and selected from 22 submissions. This volume combines the post-conference proceedings of the 2014 Doctoral Symposium and the 2014 Tutorial "Automata Learning in Practice" with the post-conference publication of selected contributions from the Tracks "Process-Oriented Geoinformation Systems and Applications" and "Processes and Data Integration in the Networked Healthcare" of ISoLA 2012
000772514 650_0 $$aRobots$$xProgramming$$vCongresses.
000772514 650_0 $$aMachine learning$$vCongresses.
000772514 650_0 $$aComputer software$$xVerification$$vCongresses.
000772514 650_0 $$aFormal methods (Computer science)$$vCongresses.
000772514 650_0 $$aComputer science.
000772514 650_0 $$aSoftware engineering.
000772514 650_0 $$aComputers.
000772514 650_0 $$aComputer logic.
000772514 650_0 $$aLogic, Symbolic and mathematical.
000772514 650_0 $$aDatabase management.
000772514 650_0 $$aComputer simulation.
000772514 650_0 $$aLogics and Meanings of Programs
000772514 650_0 $$aMathematical Logic and Formal Languages
000772514 650_0 $$aSimulation and Modeling
000772514 650_0 $$aComputation by Abstract Devices
000772514 7001_ $$aLamprecht, Anna-Lena,$$eeditor
000772514 7112_ $$aISoLA (Symposium)$$n(5th :$$d2012 :$$cĒrakleion, Greece)
000772514 77608 $$iPrint version:$$z9783319516400
000772514 830_0 $$aCommunications in computer and information science ;$$v683.
000772514 852__ $$bebk
000772514 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-51641-7$$zOnline Access$$91397441.1
000772514 909CO $$ooai:library.usi.edu:772514$$pGLOBAL_SET
000772514 980__ $$aEBOOK
000772514 980__ $$aBIB
000772514 982__ $$aEbook
000772514 983__ $$aOnline
000772514 994__ $$a92$$bISE