000801148 000__ 02171cam\a2200517Ii\4500
000801148 001__ 801148
000801148 005__ 20230306143618.0
000801148 006__ m\\\\\o\\d\\\\\\\\
000801148 007__ cr\cn\nnnunnun
000801148 008__ 171012s2017\\\\sz\a\\\\ob\\\\101\0\eng\d
000801148 020__ $$a9783319681672$$q(electronic book)
000801148 020__ $$a3319681672$$q(electronic book)
000801148 020__ $$z9783319681665
000801148 0247_ $$a10.1007/978-3-319-68167-2$$2doi
000801148 035__ $$aSP(OCoLC)on1005921555
000801148 035__ $$aSP(OCoLC)1005921555
000801148 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dOCLCF$$dOCLCO$$dUAB
000801148 049__ $$aISEA
000801148 050_4 $$aQA76.9.A96
000801148 08204 $$a006.3/33$$223
000801148 1112_ $$aATVA (Symposium)$$n(15th :$$d2017 :$$cPune, India)
000801148 24510 $$aAutomated technology for verification and analysis :$$b15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings /$$cedited by Deepak D'Souza, K. Narayan Kumar.
000801148 2463_ $$aATVA 2017
000801148 264_1 $$aCham, Switzerland :$$bSpringer,$$c2017.
000801148 300__ $$a1 online resource (xix, 482 pages) :$$billustrations.
000801148 336__ $$atext$$btxt$$2rdacontent
000801148 337__ $$acomputer$$bc$$2rdamedia
000801148 338__ $$aonline resource$$bcr$$2rdacarrier
000801148 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v10482
000801148 4901_ $$aFormal methods
000801148 4901_ $$aLNCS sublibrary. SL 2, Programming and software engineering
000801148 500__ $$aInternational conference proceedings.
000801148 504__ $$aIncludes bibliographical references and author index.
000801148 506__ $$aAccess limited to authorized users.
000801148 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed October 12, 2017).
000801148 650_0 $$aAutomatic theorem proving$$vCongresses.
000801148 650_0 $$aArtificial intelligence$$vCongresses.
000801148 7001_ $$aD'Souza, Deepak,$$eeditor.
000801148 7001_ $$aNarayan Kumar, K.$$eeditor.
000801148 830_0 $$aLecture notes in computer science ;$$v10482.
000801148 830_0 $$aLecture notes in computer science.$$pFormal methods.
000801148 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
000801148 852__ $$bebk
000801148 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-68167-2$$zOnline Access$$91397441.1
000801148 909CO $$ooai:library.usi.edu:801148$$pGLOBAL_SET
000801148 980__ $$aEBOOK
000801148 980__ $$aBIB
000801148 982__ $$aEbook
000801148 983__ $$aOnline
000801148 994__ $$a92$$bISE