000756473 000__ 01939cam\a2200457Ii\4500
000756473 001__ 756473
000756473 005__ 20230306142017.0
000756473 006__ m\\\\\o\\d\\\\\\\\
000756473 007__ cr\cn\nnnunnun
000756473 008__ 160718s2016\\\\sz\a\\\\ob\\\\101\0\eng\d
000756473 020__ $$a9783319415406$$q(electronic book)
000756473 020__ $$a3319415409$$q(electronic book)
000756473 020__ $$z9783319415390
000756473 035__ $$aSP(OCoLC)ocn953696760
000756473 035__ $$aSP(OCoLC)953696760
000756473 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO$$dYDXCP
000756473 049__ $$aISEA
000756473 050_4 $$aQA76.76.V47
000756473 08204 $$a004.24$$223
000756473 1112_ $$aCAV (Conference)$$n(28th :$$d2016 :$$cToronto, Ont.)
000756473 24510 $$aComputer aided verification$$h[electronic resource] :$$b28th International conference, CAV 2016, Toronto, ON, USA, July 17-23, 2016 : proceedings.$$nPart II /$$cSwarat Chaudhuri, Azadeh Farzan(eds.).
000756473 24630 $$aCAV 2016
000756473 264_1 $$aSwitzerland :$$bSpringer,$$c2016.
000756473 300__ $$a1 online resource (xvii, 521 pages) :$$billustrations.
000756473 336__ $$atext$$btxt$$2rdacontent
000756473 337__ $$acomputer$$bc$$2rdamedia
000756473 338__ $$aonline resource$$bcr$$2rdacarrier
000756473 4901_ $$aLecture notes in computer science,$$x1611-3349 ;$$v9780
000756473 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues
000756473 504__ $$aIncludes bibliographical references and index.
000756473 506__ $$aAccess limited to authorized users.
000756473 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed July 18, 2016).
000756473 650_0 $$aComputer software$$xVerification$$vCongresses.
000756473 7001_ $$aChaudhuri, Swarat,$$eeditor.
000756473 7001_ $$aFarzan, Azadeh,$$eeditor.
000756473 830_0 $$aLecture notes in computer science ;$$v9780.$$x1611-3349
000756473 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000756473 852__ $$bebk
000756473 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-41540-6$$zOnline Access$$91397441.1
000756473 909CO $$ooai:library.usi.edu:756473$$pGLOBAL_SET
000756473 980__ $$aEBOOK
000756473 980__ $$aBIB
000756473 982__ $$aEbook
000756473 983__ $$aOnline
000756473 994__ $$a92$$bISE