000763375 000__ 02077cam\a2200505Ii\4500
000763375 001__ 763375
000763375 005__ 20230306142307.0
000763375 006__ m\\\\\o\\d\\\\\\\\
000763375 007__ cr\cn\nnnunnun
000763375 008__ 161013s2016\\\\sz\a\\\\o\\\\\101\0\eng\d
000763375 020__ $$a9783319465203$$q(electronic book)
000763375 020__ $$a3319465201$$q(electronic book)
000763375 020__ $$z9783319465197
000763375 0247_ $$a10.1007/978-3-319-46520-3$$2doi
000763375 035__ $$aSP(OCoLC)ocn960643878
000763375 035__ $$aSP(OCoLC)960643878
000763375 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO$$dOCLCF
000763375 049__ $$aISEA
000763375 050_4 $$aQA76.9.A96
000763375 08204 $$a006.3/33$$223
000763375 1112_ $$aATVA (Symposium)$$n(14th :$$d2016 :$$cChiba, Japan)
000763375 24510 $$aAutomated technology for verification and analysis :$$b14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings /$$cCyrille Artho, Axel Legay, Doron Peled (eds.).
000763375 2463_ $$aATVA 2016
000763375 264_1 $$aCham, Switzerland :$$bSpringer,$$c2016.
000763375 300__ $$a1 online resource (xi, 530 pages) :$$billustrations.
000763375 336__ $$atext$$btxt$$2rdacontent
000763375 337__ $$acomputer$$bc$$2rdamedia
000763375 338__ $$aonline resource$$bcr$$2rdacarrier
000763375 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v9938
000763375 4901_ $$aLNCS sublibrary. SL 2, Programming and software engineering
000763375 500__ $$aInternational conference proceedings.
000763375 500__ $$aIncludes author index.
000763375 506__ $$aAccess limited to authorized users.
000763375 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed October 13, 2016).
000763375 650_0 $$aAutomatic theorem proving$$vCongresses.
000763375 650_0 $$aArtificial intelligence$$vCongresses.
000763375 7001_ $$aArtho, Cyrille,$$eeditor.
000763375 7001_ $$aLegay, Axel,$$eeditor.
000763375 7001_ $$aPeled, Doron A.,$$d1962-$$eeditor.
000763375 830_0 $$aLecture notes in computer science ;$$v9938.
000763375 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
000763375 852__ $$bebk
000763375 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-46520-3$$zOnline Access$$91397441.1
000763375 909CO $$ooai:library.usi.edu:763375$$pGLOBAL_SET
000763375 980__ $$aEBOOK
000763375 980__ $$aBIB
000763375 982__ $$aEbook
000763375 983__ $$aOnline
000763375 994__ $$a92$$bISE