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