000915975 000__ 02083cam\a2200505Ii\4500
000915975 001__ 915975
000915975 005__ 20230306150516.0
000915975 006__ m\\\\\o\\d\\\\\\\\
000915975 007__ cr\cn\nnnunnun
000915975 008__ 191023s2019\\\\sz\a\\\\o\\\\\101\0\eng\d
000915975 020__ $$a9783030317843$$q(electronic book)
000915975 020__ $$a3030317846$$q(electronic book)
000915975 020__ $$z9783030317836
000915975 0247_ $$a10.1007/978-3-030-31784-3$$2doi
000915975 035__ $$aSP(OCoLC)on1124854638
000915975 035__ $$aSP(OCoLC)1124854638
000915975 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCF$$dOCLCO$$dUKMGB
000915975 049__ $$aISEA
000915975 050_4 $$aQA76.9.A96
000915975 08204 $$a006.3/33$$223
000915975 1112_ $$aATVA (Symposium)$$n(17th :$$d2019 :$$cTaipei, Taiwan)
000915975 24510 $$aAutomated technology for verification and analysis :$$b17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings /$$cYu-Fang Chen, Chih-Hong Cheng, Javier Esparza (eds.).
000915975 2463_ $$aATVA 2019
000915975 264_1 $$aCham, Switzerland :$$bSpringer,$$c2019.
000915975 300__ $$a1 online resource (xi, 552 pages) :$$billustrations.
000915975 336__ $$atext$$btxt$$2rdacontent
000915975 337__ $$acomputer$$bc$$2rdamedia
000915975 338__ $$aonline resource$$bcr$$2rdacarrier
000915975 4901_ $$aLecture notes in computer science ;$$v11781
000915975 4901_ $$aLNCS sublibrary. SL 2, Programming and software engineering
000915975 500__ $$aInternational conference proceedings.
000915975 500__ $$aIncludes author index.
000915975 506__ $$aAccess limited to authorized users.
000915975 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed October 23, 2019).
000915975 650_0 $$aAutomatic theorem proving$$vCongresses.
000915975 650_0 $$aArtificial intelligence$$vCongresses.
000915975 7001_ $$aChen, Yu-Fang,$$eeditor.
000915975 7001_ $$aCheng, Chih-Hong,$$eeditor.
000915975 7001_ $$aEsparza, Javier,$$eeditor.
000915975 830_0 $$aLecture notes in computer science ;$$v11781.
000915975 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
000915975 852__ $$bebk
000915975 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-31784-3$$zOnline Access$$91397441.1
000915975 909CO $$ooai:library.usi.edu:915975$$pGLOBAL_SET
000915975 980__ $$aEBOOK
000915975 980__ $$aBIB
000915975 982__ $$aEbook
000915975 983__ $$aOnline
000915975 994__ $$a92$$bISE