000753308 000__ 03247cam\a2200541Ii\4500
000753308 001__ 753308
000753308 005__ 20230306141551.0
000753308 006__ m\\\\\o\\d\\\\\\\\
000753308 007__ cr\cn\nnnunnun
000753308 008__ 160113s2016\\\\gw\a\\\\ob\\\\101\0\eng\d
000753308 020__ $$a9783662491225$$q(electronic book)
000753308 020__ $$a3662491222$$q(electronic book)
000753308 020__ $$z9783662491218
000753308 0247_ $$a10.1007/978-3-662-49122-5$$2doi
000753308 035__ $$aSP(OCoLC)ocn934620974
000753308 035__ $$aSP(OCoLC)934620974
000753308 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO$$dYDXCP$$dNUI$$dOCLCF$$dOCLCO
000753308 049__ $$aISEA
000753308 050_4 $$aQA76.76.V47$$bV53 2016eb
000753308 08204 $$a005.1/4$$223
000753308 1112_ $$aVMCAI (Conference)$$n(17th :$$d2016 :$$cSaint Petersburg, Fla.)
000753308 24510 $$aVerification, model checking, and abstract interpretation$$h[electronic resource] :$$b17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings /$$cBarbara Jobstmann, K. Rustan M. Leino (eds.).
000753308 2463_ $$aVMCAI 2016
000753308 264_1 $$aBerlin :$$bSpringer,$$c2016.
000753308 300__ $$a1 online resource (xiii, 558 pages) :$$bcolor illustrations.
000753308 336__ $$atext$$btxt$$2rdacontent
000753308 337__ $$acomputer$$bc$$2rdamedia
000753308 338__ $$aonline resource$$bcr$$2rdacarrier
000753308 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v9583
000753308 4901_ $$aAdvanced research in computing and software science
000753308 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues
000753308 500__ $$aInternational conference proceedings.
000753308 504__ $$aIncludes bibliographical references and author index.
000753308 5050_ $$aAbstract Interpretation -- Abstraction -- Hybrid and Timed Systems -- Dynamic and Static Verification -- Probabilistic Systems -- Concurrent Programs -- Parameterized and Component-Based Systems -- Solver Improvements.
000753308 506__ $$aAccess limited to authorized users.
000753308 520__ $$aThis book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected from 67 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.
000753308 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed January 13, 2016).
000753308 650_0 $$aComputer software$$xVerification$$vCongresses.
000753308 650_0 $$aSoftware engineering$$vCongresses.
000753308 7001_ $$aJobstmann, Barbara,$$eeditor.
000753308 7001_ $$aLeino, K. Rustan M.,$$eeditor.
000753308 830_0 $$aLecture notes in computer science ;$$v9583.
000753308 830_0 $$aLecture notes in computer science.$$pAdvanced research in computing and software science.
000753308 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000753308 852__ $$bebk
000753308 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-662-49122-5$$zOnline Access$$91397441.1
000753308 909CO $$ooai:library.usi.edu:753308$$pGLOBAL_SET
000753308 980__ $$aEBOOK
000753308 980__ $$aBIB
000753308 982__ $$aEbook
000753308 983__ $$aOnline
000753308 994__ $$a92$$bISE