000764231 000__ 03290cam\a2200637Mi\4500
000764231 001__ 764231
000764231 005__ 20230306142406.0
000764231 006__ m\\\\\o\\d\\\\\\\\
000764231 007__ cr\nn\nnnunnun
000764231 008__ 161031s2016\\\\sz\a\\\\ob\\\\101\0\eng\d
000764231 019__ $$a962018425$$a964805657$$a965973603
000764231 020__ $$a9783319490526$$q(electronic book)
000764231 020__ $$a3319490524$$q(electronic book)
000764231 020__ $$z9783319490519
000764231 0247_ $$a10.1007/978-3-319-49052-6$$2doi
000764231 035__ $$aSP(OCoLC)ocn962438271
000764231 035__ $$aSP(OCoLC)962438271$$z(OCoLC)962018425$$z(OCoLC)964805657$$z(OCoLC)965973603
000764231 040__ $$aYDX$$beng$$erda$$cYDX$$dOCLCO$$dAZU$$dGW5XE$$dUPM$$dCOO$$dOCLCF$$dOCLCO
000764231 049__ $$aISEA
000764231 050_4 $$aQA76.76.V47$$bI54 2016eb
000764231 08204 $$a005.1/4$$223
000764231 1112_ $$aInternational Haifa Verification Conference$$n(12th :$$d2016 :$$cHaifa, Israel)
000764231 24510 $$aHardware and software :$$bverification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings /$$cRoderick Bloem, Eli Arbel (eds.).
000764231 2463_ $$aHVC 2016
000764231 264_1 $$aCham, Switzerland :$$bSpringer,$$c[2016]
000764231 300__ $$a1 online resource (xvi, 211 pages) :$$billustrations.
000764231 336__ $$atext$$btxt$$2rdacontent
000764231 337__ $$acomputer$$2rdamedia
000764231 338__ $$aonline resource$$2rdacarrier
000764231 347__ $$atext file$$bPDF$$2rda
000764231 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v10028
000764231 4901_ $$aLNCS sublibrary. SL 2, Programming and software engineering
000764231 504__ $$aIncludes bibliographical references and index.
000764231 5050_ $$aPractice in verification -- Practice in testing -- Future directions of testing and verification for hardware, software, and complex hybrid systems.
000764231 506__ $$aAccess limited to authorized users.
000764231 520__ $$aThis book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016. The 13 revised full papers and one tool paper presented were carefully reviewed and selected from 26 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future directions of testing and verification for hardware, software, and complex hybrid systems.
000764231 588__ $$aDescription based on online resource; title from digital title page (viewed on November 11, 2016).
000764231 650_0 $$aComputer software$$xVerification$$vCongresses.
000764231 650_0 $$aComputer programs$$xVerification$$vCongresses.
000764231 650_0 $$aSoftware architecture$$vCongresses.
000764231 650_0 $$aComputer science.
000764231 650_0 $$aComputer networks.
000764231 650_0 $$aSoftware engineering.
000764231 650_0 $$aProgramming languages (Electronic computers)
000764231 650_0 $$aComputer logic.
000764231 650_0 $$aLogic, Symbolic and mathematical.
000764231 650_0 $$aArtificial intelligence.
000764231 7001_ $$aBloem, Roderick P.,$$eeditor.
000764231 7001_ $$aArbel, Eli,$$eeditor.
000764231 77608 $$iPrint version:$$z9783319490519
000764231 830_0 $$aLecture notes in computer science ;$$v10028.
000764231 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
000764231 852__ $$bebk
000764231 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-49052-6$$zOnline Access$$91397441.1
000764231 909CO $$ooai:library.usi.edu:764231$$pGLOBAL_SET
000764231 980__ $$aEBOOK
000764231 980__ $$aBIB
000764231 982__ $$aEbook
000764231 983__ $$aOnline
000764231 994__ $$a92$$bISE